Type-theoretic functional semantics, in (2002)

by Y Bertot, V Capretta, Das Barman, K
Venue:Tahar (eds), Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002