Semantics for some constructors of type theory (1995)

by L Kristiansen, D Normann
Venue:in Symposia Gaussiana