## Category Theory and the Simply-Typed lambda-Calculus (1996)

by
Alfio Martini
,
Alfio Martini

Citations: | 1 - 0 self |