Metalevel Programming in Constructive Type Theory, Logic and Algebra (1994)

by R Constable
Venue:of Specification, F. Bauer and al eds, NATO Asi Series