Type theory and the external logic of programs
By: Michael Hedberg
Published: 1994
Language: eng
Notes: Thesis (doctoral)--Chalmers tekniska högskola, 1994.