<--- Back to Details
First PageDocument Content
Computing / Software engineering / Theory of computation / Recursion / Mathematical logic / Primitive recursive function / Computability theory / Computer programming / Programming idioms
Date: 2007-11-02 04:31:30
Computing
Software engineering
Theory of computation
Recursion
Mathematical logic
Primitive recursive function
Computability theory
Computer programming
Programming idioms

Add to Reading List

Source URL: www.cs.ox.ac.uk

Download Document from Source Website

File Size: 167,54 KB

Share Document on Facebook

Similar Documents

Mathematical logic / Software engineering / Theoretical computer science / Type theory / Computability theory / Logic in computer science / Proof assistants / Logic for Computable Functions / HOL / Lambda calculus / Primitive recursive function / Recursion

A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

DocID: 1rjEK - View Document

Mathematical analysis / Mathematics / Complex analysis / Coordinate systems / Theta function / Tau / Torque / Symbol / Primitive recursive functional / Toroidal coordinates

Al-Kashi’s constant τ Peter Harremoës March 3, 2012 Here I collect some facts about al-Kashi’s constant that was appearently fist used by the Persian mathematician Jamshid al-Kashi. A previous version of this page

DocID: 1qBvi - View Document

Computer programming / Software engineering / Mathematics / Recursion / Programming idioms / Computability theory / Functions and mappings / Subroutines / Monad / Primitive recursive function / Function / Subtyping

Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics

DocID: 1q22a - View Document

Computability theory / Mathematics / Mathematical logic / Theoretical computer science / Recursion / Theory of computation / Primitive recursive function / Recursive data type / Mutual recursion / Automated theorem proving / Theorem / Presentation of a group

The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon

DocID: 1pWca - View Document

Recursion / Computability theory / Theory of computation / Subroutines / Lambda calculus / Primitive recursive function / Fold / Mutual recursion / Higher-order function / Type system

A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University

DocID: 1oW2a - View Document