D. C. Jensen Vis

List of publications from the DBLP Bibliography Server - FAQ

* 1976

1 D. C. Jensen, Tomasz Pietrzykowski: Mechanizing omega-Order Type Theory Through Unification. Theor. Comput. Sci. 3(2): 123-171 (1976)

*	1976
1		D. C. Jensen, Tomasz Pietrzykowski: Mechanizing omega-Order Type Theory Through Unification. Theor. Comput. Sci. 3(2): 123-171 (1976)

Coauthor Index