Abstract | ||
---|---|---|
A categorical calculus of relations is used to derive a unified setting for higher order logic and polymorphic lambda calculus. |
Year | DOI | Venue |
---|---|---|
1987 | 10.1007/3-540-19020-1_2 | MFPS |
Keywords | Field | DocType |
categorical approach,polymorphic types,polymorphism,higher order logic,lambda calculus | Lambda calculus,Simply typed lambda calculus,Typed lambda calculus,Algebra,Categorical variable,System F,Dependent type,Realizability,Mathematics,Higher-order logic | Conference |
Volume | ISSN | ISBN |
298 | 0302-9743 | 3-540-19020-1 |
Citations | PageRank | References |
24 | 4.41 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Aurelio Carboni | 1 | 101 | 20.91 |
Peter J. Freyd | 2 | 91 | 16.54 |
A. Scedrov | 3 | 2108 | 200.16 |