Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Ian Johnson

  Date    Post    Topic  
07/12/2012There are languages builtLanguage Implementation 101
07/14/2012Denotational semantics isLanguage Implementation 101
05/22/2012Sure, just triviallyLanguages with 'unique' programs
05/23/2012Programmers only think in terms, not programsLanguages with 'unique' programs
05/25/2012i think you meanLanguages with 'unique' programs
10/10/2011Yes, but likely that's not what you want.Can I express variable occurence ranges in logic?
05/31/2010I'd like more theorem provers like MilawaMilawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/