The Updated Scholar

On Google Scholar Updates, theoretical computer science, and logic.

Wednesday, 17 January 2024

This blog is moving home...

 ... and can now be found here.

Posted by Ranald Clouston
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

No comments:

Post a Comment

Older Post Home
Subscribe to: Post Comments (Atom)

About Me

My photo
Ranald Clouston
Click here to see an explanation of what I'm doing with blog
View my complete profile

Blog Archive

  • ▼  2024 (2)
    • ▼  January (2)
      • This blog is moving home...
      • Discussing "Intuitionistic Type Theory"
  • ►  2023 (10)
    • ►  April (1)
    • ►  March (2)
    • ►  February (4)
    • ►  January (3)
  • ►  2022 (18)
    • ►  December (2)
    • ►  November (5)
    • ►  October (4)
    • ►  September (4)
    • ►  August (3)
  • ►  2014 (8)
    • ►  December (3)
    • ►  November (4)
    • ►  October (1)
  • ►  2013 (26)
    • ►  October (1)
    • ►  August (1)
    • ►  July (4)
    • ►  June (3)
    • ►  May (4)
    • ►  April (2)
    • ►  March (2)
    • ►  February (4)
    • ►  January (5)

Labels

  • 2013 (18)
  • LNCS (9)
  • University of Cambridge (9)
  • 2012 (5)
  • Andrew M. Pitts (5)
  • 2002 (4)
  • LIPIcs (4)
  • Abstract syntax (3)
  • Mikołaj Bojańczyk (3)
  • Nominal sets (3)
  • University of Warsaw (3)
  • arXiv (3)
  • Alexander Kurz (2)
  • Alpha-conversion (2)
  • Murdoch J. Gabbay (2)
  • Sam Staton (2)
  • The experiment (2)
  • Theoretical Computer Science (2)
  • University of Leicester (2)
  • unification (2)
Simple theme. Powered by Blogger.