Nominal Sets

Nominal Sets

Détails bibliographiques
Auteur principal:	Andrew M. Pitts
Format:	Électronique eBook
Langue:	English
Publié:	Cambridge University Press, 07/05/2013
Édition:	1
Collection:	Cambridge Tracts in Theoretical Computer Science
Sujets:	Programming Languages and Applied Logic Electronic books
Accès en ligne:	Full text available on Cambridge University Press Off-campus access

Documents similaires

Practical Foundations for Programming Languages
par: Robert Harper
Publié: (2013)

Pearls of Functional Algorithm Design
par: Richard Bird
Publié: (2013)

Transitions and Trees
par: Hans Hüttel
Publié: (2012)

Programming with Higher-Order Logic
par: Dale Miller, Gopalan Nadathur
Publié: (2012)

An Introduction to Category Theory
par: Harold Simmons
Publié: (2012)

Modeling in Event-B
par: Jean-Raymond Abrial
Publié: (2013)

Systematic Program Design
par: Yanhong Annie Liu
Publié: (2013)

Programming in Visual Basic 2010
par: Jim McKeown
Publié: (2012)

Steps in Scala
par: Christos K. K. Loverdos, Apostolos Syropoulos
Publié: (2012)

Introduction to Bisimulation and Coinduction
par: Davide Sangiorgi
Publié: (2012)

Web Data Management
par: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Publié: (2012)

Programming logic and design : comprehensive /
par: Farrell, Joyce
Publié: (2011)

Behavior modification in applied settings /
par: Kazdin, Alan E.
Publié: (1975)

Fuzzy sets and fuzzy logic : theory and applications /
par: Klir, George J., 1932-
Publié: (2015)

Natural language understanding /
par: Allen, James, 1950-
Publié: (1995)

Natural language understanding /
par: Allen, James, 1950-
Publié: (1995)

The logic of language
par: Seuren, Pieter A. M.

An Introduction to Gödel's Theorems
par: Peter Smith
Publié: (2013)

Basics of logic /
par: Barker, Stephen Francis
Publié: (1986)

Our logic for discussion and persuasion /
par: Ha, Byunghak
Publié: (2000)

Logic Journal of the IGPL

Introduction to logic /
par: Copi, Irving M.
Publié: (1986)

Logic, language, and meaning /
par: Gamut, L. T. F.
Publié: (1991)

Digital designing with programmable logic devices /
par: Carter, John W., 1951-
Publié: (1997)

Native Speakers and Native Users
par: Alan Davies
Publié: (2013)

Words of the World
par: Sarah Ogilvie
Publié: (2012)

Writing Essays in English Language and Linguistics
par: Neil Murray
Publié: (2012)

Applied Linguistics

IMA Journal of Applied Mathematics

Mathematical Medicine and Biology: A Journal of the IMA

Mathematical Medicine and Biology: A Journal of the IMA

The Quarterly Journal of Mechanics and Applied Mathematics

The handbook of applied linguistics /
Publié: (2006)

An introduction to applied linguistics /
Publié: (2002)

Applied linguistics /
par: Cook, Guy
Publié: (2003)

Analytic mechanics
par: Chambers, Sherman Daniel, 1881-
Publié: (1952)

Development tasks and education /
par: Havighurst, Robert James
Publié: (1972)

Applying anthropology : an introductory reader /
Publié: (1989)

Introducing applied ethics /
Publié: (1999)

Logic and computer design fundamentals /
par: Mano, M. Morris, 1927-
Publié: (2000)