A realizability interpretation of Martin-Löf's type theory

Cached

Download Links

by Catarina Coquand
Citations:8 - 1 self