Type-theoretic functional semantics (2002)

by Yves Bertot , Venanzio Capretta , Kuntal Das Barman
Venue:Theorem Proving in Higher Order Logics (TPHOLS 2002), volume 2410 of LNCS
Citations:5 - 1 self