5570 results in Programming Languages and Applied Logic
Chapter 4 - Conditional Probability
- from Part 1 - The Basics
-
- Book:
- Pure Inductive Logic
- Published online:
- 05 May 2015
- Print publication:
- 02 April 2015, pp 21-24
-
- Chapter
- Export citation
Chapter 23 - Unary Symmetry
- from Part 2 - Unary Pure Inductive Logic
-
- Book:
- Pure Inductive Logic
- Published online:
- 05 May 2015
- Print publication:
- 02 April 2015, pp 171-178
-
- Chapter
- Export citation
Chapter 12 - Asymptotic Conditional Probabilities
- from Part 2 - Unary Pure Inductive Logic
-
- Book:
- Pure Inductive Logic
- Published online:
- 05 May 2015
- Print publication:
- 02 April 2015, pp 73-80
-
- Chapter
- Export citation
Part 2 - Unary Pure Inductive Logic
-
- Book:
- Pure Inductive Logic
- Published online:
- 05 May 2015
- Print publication:
- 02 April 2015, pp 47-48
-
- Chapter
- Export citation
Part 3 - Polyadic Pure Inductive Logic
-
- Book:
- Pure Inductive Logic
- Published online:
- 05 May 2015
- Print publication:
- 02 April 2015, pp 179-180
-
- Chapter
- Export citation
Chapter 31 - Representation Theorems for Sx
- from Part 3 - Polyadic Pure Inductive Logic
-
- Book:
- Pure Inductive Logic
- Published online:
- 05 May 2015
- Print publication:
- 02 April 2015, pp 223-238
-
- Chapter
- Export citation
9 - Extension of λC with definitions
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 189-210
-
- Chapter
- Export citation
Index of definitions
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 421-422
-
- Chapter
- Export citation
Preface
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp xv-xxvi
-
- Chapter
- Export citation
Foreword
-
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp xiii-xiv
-
- Chapter
- Export citation
Index of symbols
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 423-424
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp xxvii-xxvii
-
- Chapter
- Export citation
11 - Flag-style natural deduction in λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 225-256
-
- Chapter
- Export citation
6 - The Calculus of Constructions
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 123-136
-
- Chapter
- Export citation
4 - Types dependent on types
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 85-102
-
- Chapter
- Export citation
Index of subjects
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 425-436
-
- Chapter
- Export citation
Contents
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp vii-xii
-
- Chapter
- Export citation
Appendix C - Two complete example proofs in λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 403-408
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp i-vi
-
- Chapter
- Export citation
10 - Rules and properties of λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 211-224
-
- Chapter
- Export citation