Explore: Type Theory

“Materialism and sensations” Metadata:

• Title: Materialism and sensations
• Author: James W. Cornman
• Language: English
• Number of Pages: Median: 352
• Publisher: Yale University Press
• Publish Date: 1971
• Publish Location: New Haven

“Materialism and sensations” Subjects and Themes:

• Subjects: ➤  Type theory - Senses and sensation - Identity (Philosophical concept) - Materialism - Identity - Sens et sensations - Identité (philosophie) - Materialismus - Empfindung - Matérialisme - Identity (Psychology)

Edition Identifiers:

• The Open Library ID: OL21226396M - OL5221511M
• Online Computer Library Center (OCLC) ID: 400525
• Library of Congress Control Number (LCCN): 75151570
• All ISBNs: 0300012500 - 9780300012507

“A transfinite type theory with type variables” Metadata:

• Title: ➤  A transfinite type theory with type variables
• Author: P. B. Andrews
• Language: English
• Number of Pages: Median: 143
• Publisher: North-Holland Pub. Co.
• Publish Date: 1965
• Publish Location: Amsterdam

“A transfinite type theory with type variables” Subjects and Themes:

• Subjects: Type theory

Edition Identifiers:

• The Open Library ID: OL5977925M
• Online Computer Library Center (OCLC) ID: 523874
• Library of Congress Control Number (LCCN): 66005084

“Most excellent differences” Metadata:

• Title: Most excellent differences
• Language: English
• Number of Pages: Median: 160
• Publisher: ➤  Center For Applications of Psychological Type, Inc.
• Publish Date: 1996
• Publish Location: Gainesville, Fla

“Most excellent differences” Subjects and Themes:

• Subjects: ➤  Study and teaching (Secondary) - Report writing - Rhetoric - Psychological aspects - English language - Type theory - Study and teaching - Teacher-student relationships - Rhetoric and psychology - Composition and exercises - Psychology of Learning - Personality - English language -- Rhetoric -- Study and teaching -- Psychological aspects - English language -- Composition and exercises -- Study and teaching (Secondary) -- Psychological aspects - Report writing -- Study and teaching -- Psychological aspects - Learning, Psychology of

Edition Identifiers:

• The Open Library ID: OL1003693M
• Online Computer Library Center (OCLC) ID: 35548972
• Library of Congress Control Number (LCCN): 96043373
• All ISBNs: 0935652299 - 9780935652291

“Basic simple type theory” Metadata:

• Title: Basic simple type theory
• Author: J. Roger Hindley
• Language: English
• Number of Pages: Median: 193
• Publisher: Cambridge University Press
• Publish Date: 1997 - 2008 - 2009 - 2011
• Publish Location: ➤  New York, NY, USA - Cambridge, U.K

“Basic simple type theory” Subjects and Themes:

• Subjects: ➤  Programming languages (Electronic computers) - Type theory - Programming languages (electronic computers) - Programming Languages - Langages de programmation - Théorie des types - Typentheorie - Programmeertalen - Types, Théorie des

Edition Identifiers:

• The Open Library ID: OL40475523M - OL1277367M - OL28197031M - OL34437561M
• Online Computer Library Center (OCLC) ID: 847977148
• Library of Congress Control Number (LCCN): 95009058
• All ISBNs: ➤  051183473X - 0521465184 - 9780521465182 - 0521054222 - 9780511834738 - 9780521054225 - 9780511608865 - 0511608861

“Behavioural Types” Metadata:

• Title: Behavioural Types
• Authors: Simon GayAntónio Ravara
• Language: English
• Number of Pages: Median: 250
• Publisher: River Publishers
• Publish Date: 2017 - 2022

“Behavioural Types” Subjects and Themes:

• Subjects: ➤  Computer programming - Programming languages (electronic computers) - Programming languages (Electronic computers) - Type theory - Théorie des types - COMPUTERS / Programming / Software Development - SCIENCE / Energy

Edition Identifiers:

• The Open Library ID: OL39610050M - OL33314735M - OL40194347M - OL40143828M - OL40133921M
• Online Computer Library Center (OCLC) ID: 1040038567
• All ISBNs: ➤  1003337333 - 9781000799392 - 9781003337331 - 8793519826 - 9781000799255 - 9788793519817 - 9788793519824 - 1000799395 - 8793519818 - 1000799255

“Type Theory and Formal Proof” Metadata:

• Title: Type Theory and Formal Proof
• Authors: Rob NederpeltHerman Geuvers
• Language: English
• Number of Pages: Median: 466
• Publisher: Cambridge University Press
• Publish Date: 2014

“Type Theory and Formal Proof” Subjects and Themes:

• Subjects: ➤  Logic, symbolic and mathematical - Type theory - COMPUTERS / Programming Languages / General

Edition Identifiers:

• The Open Library ID: OL28533530M - OL40491471M - OL34556108M
• Library of Congress Control Number (LCCN): 2014010865
• All ISBNs: ➤  110703650X - 1316056341 - 9781139567725 - 1139567721 - 9781316056349 - 9781107036505

“An introduction to mathematical logic and type theory” Metadata:

• Title: ➤  An introduction to mathematical logic and type theory
• Author: P. B. Andrews
• Language: English
• Number of Pages: Median: 347
• Publisher: ➤  Kluwer Academic Publishers - Academic Press - Academic Pr
• Publish Date: 1986 - 2002
• Publish Location: Boston - Orlando - Dordrecht

“An introduction to mathematical logic and type theory” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Type theory - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL2538969M - OL3563177M
• Online Computer Library Center (OCLC) ID: 505814567 - 12419063 - 50333720
• Library of Congress Control Number (LCCN): 85019942 - 2002031656
• All ISBNs: ➤  9780120585366 - 1402007639 - 9781402007637 - 0120585367 - 0120585359 - 9780120585359

“Derivation and computation” Metadata:

• Title: Derivation and computation
• Author: Harold Simmons
• Language: English
• Number of Pages: Median: 384
• Publisher: Cambridge University Press
• Publish Date: 2000
• Publish Location: New York - Cambridge

“Derivation and computation” Subjects and Themes:

• Subjects: Curry-Howard isomorphism - Lambda calculus - Proof theory - Type theory - Computer science

Edition Identifiers:

• The Open Library ID: OL46305M
• Library of Congress Control Number (LCCN): 99044953
• All ISBNs: 9780521771733 - 0521771730

“Twenty-five years of constructive type theory” Metadata:

• Title: ➤  Twenty-five years of constructive type theory
• Authors: Giovanni SambinJan M. Smith
• Language: English
• Number of Pages: Median: 283
• Publisher: ➤  Clarendon Press - Oxford University Press, Incorporated - Oxford University Press
• Publish Date: 1998
• Publish Location: New York - Oxford

“Twenty-five years of constructive type theory” Subjects and Themes:

• Subjects: Type theory - Congresses

Edition Identifiers:

• The Open Library ID: OL46084128M - OL40396717M - OL369318M
• Online Computer Library Center (OCLC) ID: 39368504
• Library of Congress Control Number (LCCN): 98029962
• All ISBNs: 1280819723 - 9781280819728 - 9780191589034 - 0191589039

“Type theory and functional programming” Metadata:

• Title: ➤  Type theory and functional programming
• Author: Simon Thompson
• Language: English
• Number of Pages: Median: 372
• Publisher: Addison-Wesley
• Publish Date: 1991
• Publish Location: ➤  Reading, Mass - Wokingham, England

“Type theory and functional programming” Subjects and Themes:

• Subjects: ➤  Type theory - Functional programming (Computer science)

Edition Identifiers:

• The Open Library ID: OL1534456M
• Online Computer Library Center (OCLC) ID: 182873203
• Library of Congress Control Number (LCCN): 91012295
• All ISBNs: 0201416670 - 9780201416671

“History and philosophy of constructive type theory” Metadata:

• Title: ➤  History and philosophy of constructive type theory
• Author: Giovanni Sommaruga
• Language: English
• Number of Pages: Median: 354
• Publisher: ➤  Kluwer Academic Publishers - Springer London, Limited - Springer Netherlands
• Publish Date: 2000 - 2010 - 2013
• Publish Location: Boston - Dordrecht

“History and philosophy of constructive type theory” Subjects and Themes:

• Subjects: Type theory - Mathematics, philosophy

Edition Identifiers:

• The Open Library ID: OL37231328M - OL36708714M - OL22268225M
• Online Computer Library Center (OCLC) ID: 43552578
• Library of Congress Control Number (LCCN): 00025107
• All ISBNs: ➤  9789401593939 - 9048154030 - 9780792361800 - 9789048154036 - 0792361806 - 9401593930

“Information and Knowledge” Metadata:

• Title: Information and Knowledge
• Author: Giuseppe Primiero
• Language: English
• Number of Pages: Median: 215
• Publisher: ➤  Primiero Giuseppe - Springer London, Limited - Springer
• Publish Date: 2007 - 2008 - 2010

“Information and Knowledge” Subjects and Themes:

• Subjects: ➤  Genetic epistemology - Philosophy - Symbolic and mathematical Logic - Computer science - Logic - Information theory - Knowledge representation (information theory) - Knowledge, theory of - Theory of Knowledge - Type theory

Edition Identifiers:

• The Open Library ID: OL37097313M - OL28003834M - OL11634378M
• Online Computer Library Center (OCLC) ID: 154712048
• All ISBNs: ➤  9789048175567 - 1402061692 - 9781402061691 - 9781402061707 - 1402061706 - 9048175569

“Semantics of type theory” Metadata:

• Title: Semantics of type theory
• Author: Thomas Streicher
• Language: English
• Number of Pages: Median: 298
• Publisher: Birkhäuser
• Publish Date: 1991
• Publish Location: Boston

“Semantics of type theory” Subjects and Themes:

• Subjects: ➤  Functional programming (Computer science) - Programming languages (Electronic computers) - Semantics - Type theory

Edition Identifiers:

• The Open Library ID: OL1546797M
• Online Computer Library Center (OCLC) ID: 24175029
• Library of Congress Control Number (LCCN): 91026116
• All ISBNs: 9783764335946 - 3764335947 - 0817635947 - 9780817635947

“Type-theoretical grammar” Metadata:

• Title: Type-theoretical grammar
• Author: Aarne Ranta
• Language: English
• Number of Pages: Median: 226
• Publisher: ➤  Clarendon Press - Oxford University Press
• Publish Date: 1994 - 1995
• Publish Location: New York - Oxford

“Type-theoretical grammar” Subjects and Themes:

• Subjects: ➤  Comparative and general Grammar - Grammar, Comparative and general - Logic - Semantics (Philosophy) - Type theory

Edition Identifiers:

• The Open Library ID: OL40408280M - OL1113021M
• Online Computer Library Center (OCLC) ID: 31291468
• Library of Congress Control Number (LCCN): 94038911
• All ISBNs: 1280903260 - 9781280903267 - 9780198538578 - 019853857X

“Semantische Paradoxien, Typentheorie und ideale Sprache” Metadata:

• Title: ➤  Semantische Paradoxien, Typentheorie und ideale Sprache
• Author: Rosemarie Rheinwald
• Language: ger
• Number of Pages: Median: 314
• Publisher: De Gruyter, Inc. - de Gruyter
• Publish Date: 1988 - 2016
• Publish Location: New York - Berlin

“Semantische Paradoxien, Typentheorie und ideale Sprache” Subjects and Themes:

• Subjects: ➤  Language and languages - Paradox - Philosophy - Semantics (Philosophy) - Type theory - Philosophy of language - History - Contributions in philosophy of language
• People: Bertrand Russell (1872-1970)

Edition Identifiers:

• The Open Library ID: OL29588391M - OL2274928M
• Online Computer Library Center (OCLC) ID: 19653103
• Library of Congress Control Number (LCCN): 89164659
• All ISBNs: 9783110849219 - 3110849216 - 9783110116403 - 3110116405

“The Curry-Howard isomorphism” Metadata:

• Title: The Curry-Howard isomorphism
• Author: Philippe De Groote
• Language: English
• Number of Pages: Median: 364
• Publisher: Academia
• Publish Date: 1995
• Publish Location: ➤  Louvain-la-neuve - Louvain-la-Neuve

“The Curry-Howard isomorphism” Subjects and Themes:

• Subjects: Lambda calculus - Type theory - Proof theory - Curry-Howard isomorphism

Edition Identifiers:

• The Open Library ID: OL74779M - OL21809571M
• Online Computer Library Center (OCLC) ID: 32900083
• Library of Congress Control Number (LCCN): 99176546
• All ISBNs: 287209363X - 9782872093632

“Categorical logic and type theory” Metadata:

• Title: ➤  Categorical logic and type theory
• Author: Bart Jacobs
• Language: English
• Number of Pages: Median: 760
• Publisher: Elsevier Science
• Publish Date: 1999
• Publish Location: New York - Amsterdam

“Categorical logic and type theory” Subjects and Themes:

• Subjects: Type theory - Categories (Mathematics)

Edition Identifiers:

• The Open Library ID: OL381193M
• Online Computer Library Center (OCLC) ID: 40298312
• Library of Congress Control Number (LCCN): 98043478
• All ISBNs: 0444501703 - 9780444501707

“Language Engineering And Rigorous Software Development” Metadata:

• Title: ➤  Language Engineering And Rigorous Software Development
• Author: Luis Soares Barbosa
• Language: English
• Number of Pages: Median: 301
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2009

“Language Engineering And Rigorous Software Development” Subjects and Themes:

• Subjects: ➤  Computer simulation - Information Systems - Computer science - Software engineering - Computer software - Congresses - Development - Formal methods (Computer science) - Programming languages (Electronic computers) - Type theory - Programmiersprache - Kongress - Typentheorie - Formale Methode - Softwareentwicklung - Computational linguistics - Programming languages (electronic computers) - Computer software, development

Edition Identifiers:

• The Open Library ID: OL34462481M - OL26117452M
• Online Computer Library Center (OCLC) ID: 429671440 - 428011995
• Library of Congress Control Number (LCCN): 2009930949
• All ISBNs: 9783642031533 - 9783642031526 - 3642031528 - 3642031536

“A modern perspective on type theory” Metadata:

• Title: ➤  A modern perspective on type theory
• Author: Fairouz D. Kamareddine
• Language: English
• Number of Pages: Median: 364
• Publisher: ➤  Kluwer Academic Publishers - Springer
• Publish Date: 2004
• Publish Location: Boston - Dordrecht

“A modern perspective on type theory” Subjects and Themes:

• Subjects: ➤  Type theory - Mathematics - Logic - Computer science - Symbolic and mathematical Logic - Mathematical Logic and Foundations - Mathematics of Computing

Edition Identifiers:

• The Open Library ID: OL8371111M - OL17723932M
• Online Computer Library Center (OCLC) ID: 55511463
• Library of Congress Control Number (LCCN): 2004051545
• All ISBNs: 9781402023347 - 9781402023354 - 1402023340 - 1402023359

“Proofs and types” Metadata:

• Title: Proofs and types
• Author: Jean-Yves Girard
• Language: English
• Number of Pages: Median: 192
• Publisher: Cambridge University Press
• Publish Date: 1989

“Proofs and types” Subjects and Themes:

• Subjects: ➤  Computer programming - Symbolic and mathematical Logic - Type theory - Proof theory - Calculus - Lambda calculus

Edition Identifiers:

• The Open Library ID: OL7738480M
• Online Computer Library Center (OCLC) ID: 20170936
• Library of Congress Control Number (LCCN): gb89006177
• All ISBNs: 0521371813 - 9780521371810

“Treatise on intuitionistic type theory” Metadata:

• Title: ➤  Treatise on intuitionistic type theory
• Author: Johan Georg Granström
• Language: English
• Number of Pages: Median: 204
• Publisher: Springer
• Publish Date: 2011
• Publish Location: New York

“Treatise on intuitionistic type theory” Subjects and Themes:

• Subjects: ➤  Type theory - Programming languages (electronic computers) - Intuitionistic mathematics - Intuition

Edition Identifiers:

• The Open Library ID: OL27963319M - OL25155289M
• Online Computer Library Center (OCLC) ID: 741540934
• Library of Congress Control Number (LCCN): 2011929986
• All ISBNs: ➤  9400717369 - 9400717350 - 9789400717350 - 9789400717367 - 9789400717374 - 9400717377

“Types for proofs and programs” Metadata:

• Title: Types for proofs and programs
• Author: ➤  International Workshop TYPES '96 (1996 Aussois, France)
• Language: English
• Number of Pages: Median: 373
• Publisher: Springer
• Publish Date: 1998
• Publish Location: New York - Berlin

“Types for proofs and programs” Subjects and Themes:

• Subjects: Congresses - Type theory - Computer logic - Proof theory

Edition Identifiers:

• The Open Library ID: OL9062794M - OL383553M
• Online Computer Library Center (OCLC) ID: 504356374
• Library of Congress Control Number (LCCN): 98046039
• All ISBNs: 9783540651376 - 3540651373

“Theory of Logical Types” Metadata:

• Title: Theory of Logical Types
• Author: Irving Marmer Copi
• Language: English
• Number of Pages: Median: 149
• Publisher: Taylor & Francis Group
• Publish Date: 2011 - 2012

“Theory of Logical Types” Subjects and Themes:

• Subjects: ➤  Logic, symbolic and mathematical - Type theory - Théorie des types - Logique symbolique et mathématique - PHILOSOPHY - Logic - Logik - Mathematische Logik - Typentheorie - Logica Matematica

Edition Identifiers:

• The Open Library ID: OL28463532M - OL28463404M
• Online Computer Library Center (OCLC) ID: 709802700
• All ISBNs: 9780415616270 - 9780415617031 - 0415616271 - 0415617030

“Automated Reasoning in Higher-order Logic” Metadata:

• Title: ➤  Automated Reasoning in Higher-order Logic
• Author: C, E Brown
• Language: English
• Number of Pages: Median: 564
• Publisher: College Publications
• Publish Date: 2007

“Automated Reasoning in Higher-order Logic” Subjects and Themes:

• Subjects: Type theory - Automatic theorem proving

Edition Identifiers:

• The Open Library ID: OL12292749M
• Online Computer Library Center (OCLC) ID: 266973289
• All ISBNs: 1904987575 - 9781904987574

“The theory of logical types” Metadata:

• Title: The theory of logical types
• Author: Irving Marmer Copi
• Language: English
• Number of Pages: Median: 129
• Publisher: Routledge and K. Paul
• Publish Date: 1971
• Publish Location: London

“The theory of logical types” Subjects and Themes:

• Subjects: Type theory - Logic, modern

Edition Identifiers:

• The Open Library ID: OL4861221M
• Library of Congress Control Number (LCCN): 75881300
• All ISBNs: 0710070268 - 9780710070265

“Statically typed friendly functions via partially abstract types” Metadata:

• Title: ➤  Statically typed friendly functions via partially abstract types
• Author: Benjamin C. Pierce
• Language: English
• Number of Pages: Median: 27
• Publisher: ➤  LFCS, Dept. of Computer Science, University of Edinburgh
• Publish Date: 1993
• Publish Location: Edinburgh

“Statically typed friendly functions via partially abstract types” Subjects and Themes:

• Subjects: Type theory

Edition Identifiers:

• The Open Library ID: OL19161669M

“Theories of types and proofs” Metadata:

• Title: Theories of types and proofs
• Language: English
• Number of Pages: Median: 295
• Publisher: Mathematical Society of Japan
• Publish Date: 1998
• Publish Location: Tokyo

“Theories of types and proofs” Subjects and Themes:

• Subjects: Type theory - Proof theory

Edition Identifiers:

• The Open Library ID: OL18812380M
• Online Computer Library Center (OCLC) ID: 42362537
• All ISBNs: 9784931469020 - 4931469027

“A programming logic based on type theory” Metadata:

• Title: ➤  A programming logic based on type theory
• Author: Erik Poll
• Language: English
• Number of Pages: Median: 175
• Publisher: ➤  Technische Universiteit Eindhoven
• Publish Date: 1994
• Publish Location: Eindhoven

“A programming logic based on type theory” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Programming languages (Electronic computers) - Semantics - Type theory

Edition Identifiers:

• The Open Library ID: OL50160259M
• Online Computer Library Center (OCLC) ID: 221860615

“Mehrsortige Prädikatenlogiken und Klassentheorien” Metadata:

• Title: ➤  Mehrsortige Prädikatenlogiken und Klassentheorien
• Author: Friedemann Tuttas
• Language: ger
• Number of Pages: Median: 130
• Publisher: F. Tuttas
• Publish Date: 1984
• Publish Location: Kiel

“Mehrsortige Prädikatenlogiken und Klassentheorien” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Type theory

Edition Identifiers:

• The Open Library ID: OL50365093M
• Online Computer Library Center (OCLC) ID: 37242259

“Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture” Metadata:

• Title: ➤  Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture
• Author: J. Y. Girard
• Language: English
• Number of Pages: Median: 49
• Publisher: Państwowe Wydawn. Naukowe
• Publish Date: 1976
• Publish Location: Warszawa

“Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Metamathematics - Type theory - Many-valued logic - Predicate calculus

Edition Identifiers:

• The Open Library ID: OL50451525M
• Online Computer Library Center (OCLC) ID: 3010533
• Library of Congress Control Number (LCCN): 80508981

“Type logical grammar” Metadata:

• Title: Type logical grammar
• Author: Glyn V. Morrill
• Language: English
• Number of Pages: Median: 307
• Publisher: Kluwer Academic Publishers
• Publish Date: 1994
• Publish Location: Boston - Dordrecht

“Type logical grammar” Subjects and Themes:

• Subjects: Type theory - Categorial grammar - Montague grammar - Semantics (Philosophy) - Semantics (philosophy)

Edition Identifiers:

• The Open Library ID: OL1107885M
• Library of Congress Control Number (LCCN): 94033169
• All ISBNs: 0792330951 - 9780792330950

“Extensional constructs in intensional type theory” Metadata:

• Title: ➤  Extensional constructs in intensional type theory
• Author: Martin Hofmann
• Language: English
• Number of Pages: Median: 214
• Publisher: Springer
• Publish Date: 1997
• Publish Location: New York - Berlin

“Extensional constructs in intensional type theory” Subjects and Themes:

• Subjects: ➤  Type theory - Functional programming (Computer science) - Automatic theorem proving

Edition Identifiers:

• The Open Library ID: OL999156M
• Library of Congress Control Number (LCCN): 96037978
• All ISBNs: 9783540761211 - 3540761217

“Isomorphisms of types” Metadata:

• Title: Isomorphisms of types
• Author: Roberto Di Cosmo
• Language: English
• Number of Pages: Median: 235
• Publisher: Birkhäuser
• Publish Date: 1995
• Publish Location: Boston

“Isomorphisms of types” Subjects and Themes:

• Subjects: ➤  Type theory - Human-computer interaction - Programming languages (Electronic computers) - Computer software - Human factors

Edition Identifiers:

• The Open Library ID: OL1110867M
• Online Computer Library Center (OCLC) ID: 31166597
• Library of Congress Control Number (LCCN): 94036650
• All ISBNs: 9780817637637 - 9783764337636 - 081763763X - 376433763X

“Las paradojas lógicas y la teoría de la predicación” Metadata:

• Title: ➤  Las paradojas lógicas y la teoría de la predicación
• Author: Dennis Cardozo Biritos
• Language: ➤  Spanish; Castilian - español, castellano
• Number of Pages: Median: 23
• Publisher: ➤  Instituto de Ciencias Políticas
• Publish Date: 1976
• Publish Location: Mendoza, Argentina

“Las paradojas lógicas y la teoría de la predicación” Subjects and Themes:

• Subjects: Paradox - Prediction (Logic) - Type theory

Edition Identifiers:

• The Open Library ID: OL4642392M
• Online Computer Library Center (OCLC) ID: 3119889
• Library of Congress Control Number (LCCN): 77474468

“Apopseis tēs typikēs logikēs” Metadata:

• Title: Apopseis tēs typikēs logikēs
• Language: gre
• Number of Pages: Median: 303
• Publisher: ➤  Kentron Epistēmonikōn Ereunōn
• Publish Date: 1979
• Publish Location: Leukōsia

“Apopseis tēs typikēs logikēs” Subjects and Themes:

• Subjects: Type theory

Edition Identifiers:

• The Open Library ID: OL3040805M
• Library of Congress Control Number (LCCN): 82132829

“Sorten, Typen und Typenfreiheit” Metadata:

• Title: ➤  Sorten, Typen und Typenfreiheit
• Author: Klaus Robering
• Language: ger
• Number of Pages: Median: 226
• Publisher: ➤  Institut für Linguistik der Technischen Universität Berlin
• Publish Date: 1994
• Publish Location: Berlin

“Sorten, Typen und Typenfreiheit” Subjects and Themes:

• Subjects: Type theory - Semantics (Philosophy) - Semantics - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL834180M
• Online Computer Library Center (OCLC) ID: 32234589
• Library of Congress Control Number (LCCN): 95109040
• All ISBNs: 9783798315822 - 3798315825

“Semantics of type theory” Metadata:

• Title: Semantics of type theory
• Author: Thomas Streicher
• Language: English
• Number of Pages: Median: 298
• Publisher: Birkhäuser
• Publish Date: 1991
• Publish Location: Boston

“Semantics of type theory” Subjects and Themes:

• Subjects: ➤  Type theory - Functional programming (Computer science) - Semantics - Programming languages (Electronic computers)

Edition Identifiers:

• The Open Library ID: OL21854599M
• All ISBNs: 3764335947 - 9783764335946 - 0817635947 - 9780817635947

“Models of sharing graphs” Metadata:

• Title: Models of sharing graphs
• Author: Masahito Hasegawa
• Language: English
• Number of Pages: Median: 134
• Publisher: Springer
• Publish Date: 1999
• Publish Location: New York

“Models of sharing graphs” Subjects and Themes:

• Subjects: ➤  Type theory - Categories (Mathematics) - Programming languages (Electronic computers)

Edition Identifiers:

• The Open Library ID: OL37825M
• Online Computer Library Center (OCLC) ID: 40926452
• Library of Congress Control Number (LCCN): 99025290
• All ISBNs: 1852331453 - 9781852331450

“Gentle Introduction to Dependent Types with Idris” Metadata:

• Title: ➤  Gentle Introduction to Dependent Types with Idris
• Number of Pages: Median: 133
• Publisher: Leanpub
• Publish Date: 2018

“Gentle Introduction to Dependent Types with Idris” Subjects and Themes:

• Subjects: ➤  Idris - Dependent Types - Type Theory - Coq - Proofs - Mathematics

Edition Identifiers:

• The Open Library ID: OL27254849M
• All ISBNs: 9781723139413 - 1723139416

“Reasoning in simple type theory” Metadata:

• Title: ➤  Reasoning in simple type theory
• Author: Christoph Benzmüller
• Language: English
• Number of Pages: Median: 467
• Publisher: College Publications
• Publish Date: 2008
• Publish Location: London

“Reasoning in simple type theory” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Type theory

Edition Identifiers:

• The Open Library ID: OL45185133M
• Online Computer Library Center (OCLC) ID: 315067474
• All ISBNs: 1904987702 - 9781904987703

“Twenty-five years of constructive type theory” Metadata:

• Title: ➤  Twenty-five years of constructive type theory
• Authors: Giovanni SambinJan M. Smith
• Language: English
• Number of Pages: Median: 292
• Publisher: Oxford University Press, USA
• Publish Date: 1998

“Twenty-five years of constructive type theory” Subjects and Themes:

• Subjects: Type theory - Congresses - Mathematics

Edition Identifiers:

• The Open Library ID: OL7399919M
• All ISBNs: 0198501277 - 9780198501275

“Studied Flexibility. Categories and Types in Syntax and Semantics” Metadata:

• Title: ➤  Studied Flexibility. Categories and Types in Syntax and Semantics
• Author: Herman Hendriks
• Publisher: ➤  ILLC 1993. (ILLC Dissertation Series 1993-5)
• Publish Date: 1993

“Studied Flexibility. Categories and Types in Syntax and Semantics” Subjects and Themes:

• Subjects: Type theory - Categorial grammar - Categorieën (taalkunde) - Montague-grammatica - Typologie (algemeen)

Edition Identifiers:

• The Open Library ID: OL12851741M
• Online Computer Library Center (OCLC) ID: 40527033
• All ISBNs: 9789074795012 - 9074795013

“Type logical grammar” Metadata:

• Title: Type logical grammar
• Author: Glyn V. Morrill
• Language: English
• Number of Pages: Median: 307
• Publisher: Springer Science
• Publish Date: 1994
• Publish Location: Dordrecht

“Type logical grammar” Subjects and Themes:

• Subjects: Type theory - Categorial grammar - Montague grammar - Semantics (Philosophy) - Semantics (philosophy)

Edition Identifiers:

• The Open Library ID: OL27093177M
• Online Computer Library Center (OCLC) ID: 847549755
• All ISBNs: 9780792332268 - 9401110425 - 9789401110426 - 0792332261

“Types for proofs and programs” Metadata:

• Title: Types for proofs and programs
• Author: ➤  TYPES '99 (1999 Lökeberg, Sweden)
• Language: English
• Number of Pages: Median: 193
• Publisher: Springer
• Publish Date: 2000
• Publish Location: Berlin - New York

“Types for proofs and programs” Subjects and Themes:

• Subjects: ➤  Congresses - Type theory - Computer programming - Automatic theorem proving - Computer science - Logic design - Artificial intelligence - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL19020334M
• Online Computer Library Center (OCLC) ID: 50418389 - 45620936
• Library of Congress Control Number (LCCN): 00069849
• All ISBNs: 9783540415176 - 3540415173

“Reanimation in philosophy” Metadata:

• Title: Reanimation in philosophy
• Author: Palmer Talbutt
• Language: English
• Number of Pages: Median: 207
• Publisher: University Press of America
• Publish Date: 1986
• Publish Location: Lanham, MD

“Reanimation in philosophy” Subjects and Themes:

• Subjects: Culture - Methodology - Philosophy - Type theory
• People: ➤  Karl Jaspers (1883-1969) - Pitirim Aleksandrovich Sorokin (1889-1968)

Edition Identifiers:

• The Open Library ID: OL2729353M
• Online Computer Library Center (OCLC) ID: 14187130
• Library of Congress Control Number (LCCN): 86023356
• All ISBNs: 0819156485 - 9780819156488 - 0819156477 - 9780819156471

“Sorten, Typen und Typenfreiheit” Metadata:

• Title: ➤  Sorten, Typen und Typenfreiheit
• Author: Klaus Robering

“Sorten, Typen und Typenfreiheit” Subjects and Themes:

• Subjects: Type theory - Semantics (Philosophy) - Semantics - Logic, symbolic and mathematical

“Types for proofs and programs” Metadata:

• Title: Types for proofs and programs
• Language: English
• Number of Pages: Median: 195
• Publisher: Springer
• Publish Date: 2001

“Types for proofs and programs” Subjects and Themes:

• Subjects: Type theory - Congresses - Computer programming - Automatic theorem proving

Edition Identifiers:

• The Open Library ID: OL9342425M
• Library of Congress Control Number (LCCN): 00069849
• All ISBNs: 3540415173 - 9783540415176

“Types for proofs and programs” Metadata:

• Title: Types for proofs and programs
• Author: Bernhard Reus
• Language: English
• Number of Pages: Median: 207
• Publisher: Springer
• Publish Date: 1999

“Types for proofs and programs” Subjects and Themes:

• Subjects: ➤  Type theory - Congresses - Computer programming - Automatic theorem proving - Logic, symbolic and mathematical - Computer science - Logic design - Artificial intelligence

Edition Identifiers:

• The Open Library ID: OL9597028M
• Online Computer Library Center (OCLC) ID: 42580071
• Library of Congress Control Number (LCCN): 99049081
• All ISBNs: 3540665374 - 9783540665373