An inverse of the evaluation functional for typed (1991)

by U Berger, H Schwichtenberg
Venue:In 6th Annual Symposium on Logic in Computer Science
Add To MetaCart
Results 1 - 1 of 1

Nominal System T

by Andrew M. Pitts , 2010
"... This paper introduces a new recursion principle for inductive data modulo ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
This paper introduces a new recursion principle for inductive data modulo