×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [primitive recursion]
Home >
primitive recursion
Recurs Ion
352 views
Theory of Computation (Fall 2013): Examples of Primitive Recursive Functions & Primitive Recursive Predicates
495 views
Expressiveness and Model of the Polymorphic λ Calculus
308 views
1 Turing Machines and Equivalent Models Section 13.2 The Church-Turing Thesis.
216 views
A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.
224 views
Formal Representation of Polynomial-Time Algorithms and Security Bruce Kapron University of Victoria June 9, 2004.
219 views
Types and Programming Languages Robert Harper In Honor of Dana S. Scott October, 2002.
214 views
Type Systems and Object- Oriented Programming John C. Mitchell Stanford University.
221 views
LX: A Language for Flexible Type Analysis Stephanie Weirich Cornell University joint work with Karl Crary (CMU)
216 views
APLCassigmtdoc
216 views
Jeff Edmonds York University COSC 4111 Lecture 1 Church's ThesisChurch's ThesisChurch's ThesisChurch's Thesis Primitive RecursivePrimitive RecursivePrimitive.
215 views
Turing Machines and Equivalent Models
72 views
Next >