Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Automated Software Engineering
Fix-Point Equations for Well-Founded Recursion in Type Theory
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Another Look at Nested Recursion
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Nested General Recursion and Partiality in Type Theory
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Simple general recursion in type theory
Nordic Journal of Computing
Modelling general recursion in type theory
Mathematical Structures in Computer Science
Affine functions and series with co-inductive real numbers
Mathematical Structures in Computer Science
A coinductive monad for prop-bounded recursion
PLPV '07 Proceedings of the 2007 workshop on Programming languages meets program verification
Inductive and Coinductive Components of Corecursive Functions in Coq
Electronic Notes in Theoretical Computer Science (ENTCS)
Fixed point semantics and partial recursion in Coq
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Using Structural Recursion for Corecursion
Types for Proofs and Programs
Algebra of programming in agda: Dependent types for relational program derivation
Journal of Functional Programming
General recursion in type theory
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A unifying approach to recursive and co-recursive definitions
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
On the representation of imperative programs in a logical framework
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Defining and reasoning about recursive functions: a practical tool for the coq proof assistant
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
On recursive functions and well–founded relations in the calculus of constructions
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
The optimal fixed point combinator
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
A decision procedure for regular expression equivalence in type theory
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
| Hi-index | 0.00 |