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 |