Inductive Definitions and Type Theory: An Introduction

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