About Effective Quotients in Constructive Type Theory
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Modular correspondence between dependent type theories and categories including pretopoi and topoi
Mathematical Structures in Computer Science
Hi-index | 0.00 |