Results 281 to 284 of about 173,804,276 (284)
Some of the next articles are maybe not open access.

A Constructive Predicate Calculus

Mathematical Notes
openaire   +1 more source

A Calculus of Constructions With Explicit Subtyping

exaly  

Complete Bidirectional Typing for the Calculus of Inductive Constructions

exaly  

The Implicit Calculus of Constructions.

openaire   +1 more source
computer science - logic in computer science
mathematics
previous   27  28  29  

Home - About - Disclaimer - Privacy