Results 271 to 280 of about 173,804,276 (284)

Impossible Geometric Constructions: A Calculus Writing Project

Primus, 2013
Awtrey Chad
exaly  

Coquand's Calculus of Constructions: A Mathematical Foundation for a Proof Development System

Formal Aspects of Computing, 1992
Jonathan P Seldin
exaly  

Coercive Subtyping for the Calculus of Constructions

ACM SIGPLAN Notices, 2003
exaly  

The calculus of constructions : State of the art

1987
openaire   +2 more sources

The Calculus of Constructions as a Framework for Proof Search With Set Variable Instantiation

Theoretical Computer Science, 2000
Amy Felty
exaly  

Flow Pattern Construction-Based Tubular Heat Transfer Intensification Using Calculus of Variations

Chemical Engineering Science, 2016
Chunjiang Liu
exaly  

A Constructive Calculus for Esterel

2021
openaire   +1 more source

Unification and Anti-Unification in the Calculus of Constructions

1991
F Pfenning
exaly  

ECC, an Extended Calculus of Constructions

1989
exaly  

A Calculus for Program Construction

2002
openaire   +1 more source