Posts By: jim burton
Date | Post | Topic |
04/07/2010 | How exactly did Barwise | A Formal System For Euclid's Elements |
06/30/2009 | Coq (the most widely used), | Most powerful terminating semantics? |
06/23/2009 | OT: Constraint diagrams | Perlis Languages |
04/01/2009 | Excuse me for chipping in, | Announcing the Haskot |
04/01/2009 | Perhaps his point about | Announcing the Haskot |
10/22/2008 | Summary of Dependently Typed Systems? | Summary of Dependently Typed Systems? |
10/26/2008 | Thanks guys, your replies | Summary of Dependently Typed Systems? |
10/27/2008 | Thanks for the link, Adam's | Summary of Dependently Typed Systems? |
12/01/2009 | It has a more narrow scope | Post new comment vs. reply |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |