Proof Contexts with Late Binding

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/11417170_24 ◽

2005 ◽

pp. 324-338

Author(s):

Virgile Prevosto ◽

Sylvain Boulmé

Download Full-text