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 |