载入...

QR Code

Type theory and formal proof : an introduction /

"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...

书目详细资料
Main Authors:	Nederpelt, R. P. (Rob P.) (Author), Geuvers, Herman, 1964- (Author)
语言:	English
出版:	Cambridge ; New York : Cambridge University Press, 2014.
主题:	Type theory. COMPUTERS / Programming Languages / General.
在线阅读:	Cover image

相似书籍

Categgories for types
由: Crole, Roy L.
出版: (1993)

The encyclopaedia of type faces /
由: Jaspert, W. Pincus
出版: (1983)

Type and Typography
由: Rosen, Ben
出版: (1976)

Human Types
由: Firth, Raymond
出版: (1970)

Operator inequalities of ostrowski and trapezoidal type /
由: Dragomir, Silvestru Sever
出版: (2011)

Genetic algorithms and genetic programming : modern concepts and practical applications /
出版: (2009)

IBM PC and Compatibles : an introduction to the operating system, basic programming, and applications /
由: Goldstein, Larry Joel
出版: (1989)

FORENSIC DNA TYPING
由: BUTLER, John M.
出版: (2005)

Soviet-type economics
由: Campbell,Robert W
出版: (1974)

Different types of history
由: Ray Bharati

Head first learn to code /
由: Freeman, Eric, 1965-

Algebraic number theory /
由: Mollin, Richard A.
出版: (2011)

Analysing the types of visuals in textbooks of
由: Tomas Janko

Head first Python /
由: Barry, Paul
出版: (2017)

Head first Python /
由: Barry, Paul, 1966-
出版: (2017)

Practical foundations for programming languages
由: Harper, Robert
出版: (2013)

Data types and structures
由: Gotlieb, C.C
出版: (1978)

Evaluation of Papaya Types
由: Reshma N T
出版: (2015)

Computer programming and formal systems.
由: Braffort, P.ed
出版: (1970)

Elementary Computability, formal languages and automata
由: McNaughton, Robert
出版: (1982)

Elementary computability formal languages and automata
由: McNaughton, Robert
出版: (1982)

Proof theory: sequent calculi and related formalisms
由: Bimbo, Katalin
出版: (2015)

An Introduction Formal Languages And Automata
由: Linz Peter
出版: (2006)

introduction to theory of automata, formal languages and computation
由: Ghosh, Debidas
出版: (2013)

Nonlinear mappings of monotone type.
由: Pascali, Dan
出版: (1978)

Phase type modelling in reliability and survival analysis
由: Aneesh Kumar K.

Universal algebra : fundamentals and selected topics /
由: Bergman, C. H. (Clifford H.), 1953-
出版: (2012)

A functional start to computing with Python /
由: Herman, Ted, 1952-
出版: (2013)

Introduction to formal languages, automata theory and computation
由: Krithivasan, Kamala
出版: (2009)

Proofs and types /
由: Girard, Jean-Yves
出版: (1989)

Formal models in programming
由: Neuhold, E J
出版: (1985)

Microcomputers for engineers and scientists /
由: Gibbson, Glenn A .
出版: (1987)

Introduction to contemporary social theory /
由: Elliott, Anthony, 1964-
出版: (2014)

Proofs and computations /
由: Schwichtenberg, Helmut, et al.
出版: (2012)

Introduction to Pascal
由: Mathur, Aditya and Arora, Kulbir and Reddy Uday N.
出版: (1990)

Larch: languages and tools for formal specification
由: Guttag, John V, et al.
出版: (1993)

Introduction to formal languages, automata theory and computation
由: Kamala Krithivasan, Rama R
出版: (2009)

Super computers /
由: Rajaraman, V
出版: (1999)

Formal methods of program verification and specification
由: H K Berg, et al.
出版: (1982)

Type & learn C /
由: Swan, Tom
出版: (2003)