Affordable Access

Towards a Proof-Irrelevant Calculus of Inductive Constructions

Authors
Publication Date
Source
Hal-Diderot
Keywords
  • [Info.Info-Pl] Computer Science [Cs]/Programming Languages [Cs.Pl]
External links

Abstract

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments