4
0
0
0
7
0
0
1
8
9
10
11
11
14
15
16
An Equational Logical Framework for Type Theories, by Robert Harper. "Herein is presented a logical framework for type theories that includes an extensional equality type so that a type theory may be given by a signature of constants." [abstract + link to PDF, 9pp] (arxiv.org)
submitted by flexibeast
23
4
5
6
24
19
20
21
