Inverting inductively defined relations in LEGO

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/bfb0097795 ◽

1998 ◽

pp. 236-253 ◽

Cited By ~ 6

Author(s):

Conor McBride

Download Full-text