The semantics of second order polymorphic lambda calculus.
Proc. of the international symposium on Semantics of data types
Combinatorial Problems, Combinator Equations and Normal Forms
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
An investigation of a programming language with a polymorphic type structure.
An investigation of a programming language with a polymorphic type structure.
Type isomorphisms in a type-assignment framework
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type fixpoints: iteration vs. recursion
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Efficient algorithms for isomorphisms of simple types
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Linear Logical View of Linear Type Isomorphisms
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Mathematical Structures in Computer Science
A short survey of isomorphisms of types
Mathematical Structures in Computer Science
Efficient algorithms for isomorphisms of simple types
Mathematical Structures in Computer Science
On the building of affine retractions
Mathematical Structures in Computer Science
On Isomorphisms of Intersection Types
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
On isomorphisms of intersection types
ACM Transactions on Computational Logic (TOCL)
Proof systems for retracts in simply typed lambda calculus
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
| Hi-index | 0.00 |