Contextual isomorphisms - discu.eu

Lambda the Ultimate

Contextual isomorphisms http://www.cs.bham.ac.uk/~pbl/papers/contextiso.pdf 11 comments 9/12/2016 Type Theory

Linking pages

GitHub - gasche/popl2017-papers: Link to preprints for POPL'17 and co-located events https://github.com/gasche/popl2017-papers 3 comments

Related searches:

Search whole site: site:www.cs.bham.ac.uk

Search title: Contextual isomorphisms

See how to search.

Submit link to: