Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 13 | << page >> |
Sort by
|
Book
ISBN: 9781107036505 9781139567725 Year: 2014 Publisher: Cambridge Cambridge University Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
"Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalize mathematics. The only prerequisites are a good knowledge of undergraduate algebra and analysis. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarize themselves with the material"--
Type theory. --- Computers --- Programming Languages --- General. --- Théorie des types
Book
Year: 1965 Publisher: Princeton : Princeton University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical. --- Logique mathématique. --- Type theory. --- Théorie des types --- Logique generale --- Theorie des types --- Logique generale --- Theorie des types
Book
ISBN: 0710070268 9780710070265 Year: 1971 Publisher: London Routledge and Kegan Paul
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- Type theory --- Théorie des types --- Type Theory --- Logic, Symbolic and mathematical --- Type theory. --- Théorie des types
Book
Year: 1956 Publisher: Princeton : Princeton University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Logique mathématique --- Type theory --- Théorie des types --- Logique mathématique --- Théorie des types
Book
ISBN: 287209363X 9782872093632 Year: 1995 Volume: 8 Publisher: Louvain-la-Neuve : Academia,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logica --- Logique --- Curry-Howard isomorphism --- Proof theory --- Lambda calculus --- Type Theory --- Type theory --- Isomorphisme de Curry-Howard --- Théorie de la démonstration --- Lambda-calcul --- Théorie des types --- Isomorphisme de Curry-Howard. --- Théorie de la démonstration. --- Lambda-calcul. --- Théorie des types. --- Théorie de la démonstration. --- Théorie des types.
ISBN: 019853857X Year: 1994 Volume: 1 Publisher: Oxford : Clarendon press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical linguistics --- Mathematical logic --- Grammar --- Grammar, Comparative and general --- Logic --- Semantics (Philosophy) --- Type theory --- Grammaire comparée et générale --- Logique --- Sémantique (Philosophie) --- Théorie des types --- Grammaire comparée et générale --- Sémantique (Philosophie) --- Théorie des types
ISBN: 0201416670 9780201416671 Year: 1991 Publisher: Wokingham, Don Mills, Ont. : Addison-Wesley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Functional programming (Computer science) --- Type theory --- Programmation fonctionnelle --- Théorie des types --- Type theory. --- Functional programming (Computer science). --- Théorie des types --- Computer science --- Informatique --- Programming. --- Programmation. --- Logique mathématique --- Logique mathématique
Book
ISBN: 0198243669 0198245912 9780198243663 Year: 1974 Publisher: Oxford : Clarendon press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Arithmetic --- Logic, symbolic and mathematical --- Number Theory --- Foundations --- 510.2 --- -Logic, Symbolic and mathematical --- Number theory --- Number study --- Numbers, Theory of --- Algebra --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Calculators --- Numbers, Real --- Foundations of mathematics --- Logic, Symbolic and mathematical. --- Number theory. --- Foundations. --- 510.2 Foundations of mathematics --- Arithmétique --- Fondements --- Logic, Symbolic and mathematical --- Logique mathématique --- Type theory --- Théorie des types --- Logique mathématique. --- Théorie des types. --- Fondements. --- Type theory. --- Théorie des types --- Nombres, Théorie des --- Arithmetic - Foundations --- Logique mathématique --- Fondements des mathematiques --- Logique des prédicats
Book
ISBN: 0120585367 0120585359 9780120585366 Year: 1986 Publisher: Orlando: Academic press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logic, Symbolic and mathematical --- Type theory --- Logique symbolique et mathématique --- Théorie des types --- Logic, symbolic and mathematical --- Type Theory --- Logique symbolique et mathématique --- Théorie des types --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Semantics --- Propositional Calculus --- Type --- Logic
Book
ISBN: 2020103508 9782020103503 Year: 1988 Publisher: Paris : Editions du Seuil,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Dans ce livre, les auteurs, l'un anthropologue, l'autre psychiatre, font converger théorie des jeux, psychologie expérimentale, cybernétique pour élaborer une théorie de la communication
Psychiatry --- Mass communications --- Cybernetics --- Game theory --- Psychology, Experimental --- System theory --- Type theory --- Communication --- Communication in psychiatry --- Cybernétique --- Théorie des jeux --- Psychologie expérimentale --- Théorie des systèmes --- Théorie des types --- Communication en psychiatrie --- Social aspects --- Aspect social --- Social psychology --- Psychological aspects --- Cybernétique --- Théorie des jeux --- Psychologie expérimentale --- Théorie des systèmes --- Théorie des types --- Communication - Psychological aspects
| Listing 1 - 10 of 13 | << page >> |
Sort by
|