Reduction-free normalisation for a polymorphic system
- 24 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- From semantics to rules: A machine assisted analysisPublished by Springer Science and Business Media LLC ,2006
- Intuitionistic model constructions and normalization proofsMathematical Structures in Computer Science, 1997
- Higher-order abstract syntax in CoqLecture Notes in Computer Science, 1995
- Computation and ReasoningPublished by Oxford University Press (OUP) ,1994
- A framework for defining logicsJournal of the ACM, 1993
- Semantics of Type TheoryPublished by Springer Science and Business Media LLC ,1991