A proof-irrelevant model of Martin-Löf's logical framework.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 6, p. 771, doi. 10.1017/S0960129502003766
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2002 AND VI 12 AND IP 6
Results: 3
1
2
Encoding left reduction in the »-calculus with interaction nets.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 6, p. 797, doi. 10.1017/S0960129502003754
- By:
- Publication type:
- Article
3
A theory of mixin modules: algebraic laws and reduction semantics.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 6, p. 701, doi. 10.1017/S0960129502003687
- By:
- Publication type:
- Article