Posts By: Gabbay
| Date | Post | Topic |
| 07/24/2010 | Proof theory for untyped lambda calculus | A simple class of Kripke-style models in which logic and computation have equal standing |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |