Posts By: Lauri Alanko
| Date | Post | Topic |
| 11/11/2010 | PLT Redex | term-typing/operational semantics simulator? |
| 11/09/2010 | This sounds interesting, but | Lambda the Ultimate seems an Overstatement (not) |
| 11/08/2008 | β, η, ξ ⊢ α? | β, η, ξ ⊢ α? |
| 11/09/2008 | Cutting corners | β, η, ξ ⊢ α? |
| 11/09/2008 | Not quite | β, η, ξ ⊢ α? |
| 04/17/2007 | Very nice | Course on Interactive Computer Theorem Proving Based on Coq |
| 04/20/2007 | Turnstile as a formal symbol considered harmful | Thoughts about the Best Introductory Language |
| 04/20/2007 | Exactly that sort of | Thoughts about the Best Introductory Language |
| 03/12/2007 | Recursion in natural languages | Piraha Exceptionality: a Reassessment |
| 03/15/2007 | Not quite | Piraha Exceptionality: a Reassessment |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |