Posts By: ertri
| Date | Post | Topic |
| 10/23/2009 | a glossary for new comers | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |