1. Intensionality, definability and computation;Abramsky,2014
2. A very modal model of a modern, major, general type system;Appel,2007
3. Exceptional syntax;Benton;J. Funct. Program.,2001
4. Handbook of Process Algebra,2001
5. First steps in synthetic guarded domain theory: step-indexing in the topos of trees;Birkedal;Log. Methods Comput. Sci.,2012