Inductive Definitions and Type Theory: An Introduction

by Thierry Coquand , Peter Dybjer
Citations:8 - 0 self