A programming system for type theory (1982)

by K PETERSSON
Venue:Programming Methodology Group, Univ. Goteborg\Chalmers Institute of Technology, Goteborg