Girard, 1987. Very hard to read. Found on
Girard's pubs page. Girard, 1995 has a significantly lower barrier to entry.
Lafont's collection. The only one I've skimmed is a Linear Abstract Machine, which isn't even downloadable there.
Another collection
Wadler's collection.
the informal ramblings of a formal language researcher
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment