DOCSLIB.ORG
Sign Up
Log In
Upload
Search
Sign Up
Log In
Upload
Home
» Tags
» Structural induction
Structural induction
A Survey of Engineering of Formally Verified Software
Collection Principles in Dependent Type Theory
Arxiv:Cs/0610066V2 [Cs.LO] 16 Sep 2013 Eusv Entos Ye Lambda-Calculus
Martin Löf's Type Theory: Constructive Set Theory and Logical Framework
Set Theory for Verification: II
Intuitionistic Type Theory
Induction, Coinduction, and Fixed Points in Order Theory, Set Theory, Type Theory, First-Order Logic, and Category Theory
A Unified View of Induction Reasoning for First-Order Logic Sorin Stratulat
4.5 Structural Induction 81
The Many Guises of Induction
An Algebraic View of Structural Induction
Partially Ordered Sets
Top View
![Arxiv:Cs/0610066V2 [Cs.LO] 16 Sep 2013 Eusv Entos Ye Lambda-Calculus](http://data.docslib.org/img/264x/30010d9fe3d9f8b83924c25d61017d9a.webp)
