Twan Laan (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4

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 9 records - Twan Laan has 4 coauthors