Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre Corbineau
A New Elimination Rule for the Calculus of Inductive Constructions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Finitary Version of the Calculus of Partial Inductive Definitions
Shorter Notes: A Variant of the Chain Rule for Differential Calculus
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Induction Principles Formalized in the Calculus of Constructions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Inductive Verification of Hybrid Automata With Strongest Postcondition Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Rule Calculus: Semantics, Axioms and Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning of Prediction Rule Using Fuzzy Inductive Learning
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
Journal of Functional Programming
Software
A Theory of Conditioning: Inductive Learning Within Rule-Based Default Hierarchies.
Psychological Review
Philosophy of Science
Psychology
History
On Lists and Other Abstract Data Types in the Calculus of Constructions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
