Michael Franssen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Twan Laan, Michael Franssen: Embedding First-order Logic in a Pure Type System with Parameters. J. Log. Comput. 11(4): 545-557 (2001)

Selection of 1 from 3 records - Michael Franssen has 3 coauthors