Implementation of Intuitionistic Type Theory and Realizability Theory (1995)

Cached

Download Links

by Yuki Komagata , David A. Schmidt
Citations:2 - 0 self