Tomasz Pietrzykowski (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

Selection of 1 from 15 records - Tomasz Pietrzykowski has 8 coauthors