You have Guest access.
Log In
Gilles Barthe and Olivier Pons
Book Chapter
Subtyping Recursive Types Modulo Associative Commutative Products
Roberto Di Cosmo, François Pottier and Didier Rémy
Lecture Notes in Computer Science, 2005, Volume 3461, Typed Lambda Calculi and Applications, Pages 179-193
On Isomorphisms of Intersection Types
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti and Makoto Tatsuta
Lecture Notes in Computer Science, 2008, Volume 5213, Computer Science Logic, Pages 461-477
Inferring Type Isomorphisms Generically
Frank Atanassow and Johan Jeuring
Lecture Notes in Computer Science, 2004, Volume 3125, Mathematics of Program Construction, Pages 32-53
Memoization in Type-Directed Partial Evaluation
Vincent Balat and Olivier Danvy
Lecture Notes in Computer Science, 2002, Volume 2487, Generative Programming and Component Engineering, Pages 78-92
A Linear Logical View of Linear Type Isomorphisms
Vincent Balat and Roberto Di Cosmo
Lecture Notes in Computer Science, 1999, Volume 1683, Computer Science Logic, Page 826
Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems
Francisco Gutiérrez and Blas Ruiz
Lecture Notes in Computer Science, 2003, Volume 2719, Automata, Languages and Programming, Page 187
Efficient Type Matching
Somesh Jha, Jens Palsberg and Tian Zhao
Lecture Notes in Computer Science, 2002, Volume 2303, Foundations of Software Science and Computation Structures, Pages 395-435
Isomorphisms — A Link Between the Shallow and the Deep
Thomas Santen
Lecture Notes in Computer Science, 1999, Volume 1690, Theorem Proving in Higher Order Logics, Page 840
Least and Greatest Fixpoints in Game Semantics
Pierre Clairambault
Lecture Notes in Computer Science, 2009, Volume 5504, Foundations of Software Science and Computational Structures, Pages 16-31
An extension of system F with subtyping
Luca Cardelli, Simone Martini, John C. Mitchell and Andre Scedrov
Lecture Notes in Computer Science, 1991, Volume 526, Theoretical Aspects of Computer Software, Pages 750-770
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info