Proof-search in the λΠ-calculus
from Proofs and Computation
Published online by Cambridge University Press: 04 August 2010
Summary
- Type
- Chapter
- Information
- Logical Frameworks , pp. 309 - 340Publisher: Cambridge University PressPrint publication year: 1991
- 8
- Cited by