Posts By: Ian Johnson
| Date | Post | Topic |
| 07/12/2012 | There are languages built | Language Implementation 101 |
| 07/14/2012 | Denotational semantics is | Language Implementation 101 |
| 05/22/2012 | Sure, just trivially | Languages with 'unique' programs |
| 05/23/2012 | Programmers only think in terms, not programs | Languages with 'unique' programs |
| 05/25/2012 | i think you mean | Languages with 'unique' programs |
| 10/10/2011 | Yes, but likely that's not what you want. | Can I express variable occurence ranges in logic? |
| 05/31/2010 | I'd like more theorem provers like Milawa | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |