Foundations of programming languages
by Mitchell, J. C.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1996Availability: Items available for loan: [Call number: 005.131 MIT] (1).
Dynamic logic
by Harel, D.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 2000Availability: Items available for loan: [Call number: 004.015113 HAR] (1).
Algebraic semantics of imperative programs
by Goguen, J. A.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 1996Availability: Items available for loan: [Call number: 005.131 GOG] (1).
The structure of typed programming languages
by Schmidt, D. A.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 1994Availability: Items available for loan: [Call number: 005.131 SCH] (1).
Hilbert's tenth problem
by Matiyasevich, Y. V.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1993Availability: Items available for loan: [Call number: 512.7 MAT] (1).
From logic to logic programming
by Doets, K.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1994Availability: Items available for loan: [Call number: 005.115 DOE] (1).
Computability and complexity: From a programming perspective
by Jones, N. D.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1997Availability: Items available for loan: [Call number: 005.131 JON] (1).
Algorithmic number theory-V-1: Efficient algorithms
by Bach, E.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1996Availability: Items available for loan: [Call number: 512.72015118 BAC] (1).
Semantics of programming languages: Structures and techniques
by Gunter, C. A.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1992Availability: Items available for loan: [Call number: 005.13 GUN] (1).
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
by Harel, David, 1950- | Kozen, Dexter, 1951- | Tiuryn, Jerzy | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available
The formal semantics of programming languages : an introduction / Glynn Winskel.
by Winskel, G., (Glynn) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
From logic to logic programming / Kees Doets.
by Doets, Kees [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
Basic category theory for computer scientists / Benjamin C. Pierce.
by Pierce, Benjamin C [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available
Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm.
by Goguen, Joseph [author.] | Malcolm, Grant | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
Logic and information flow / edited by Jan van Eijck and Albert Visser.
by Eijck, J. van (Jan) | Visser, Albert | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.
by Plotkin, G. (Gordon), 1946- | Tofte, Mads | Stirling, Colin P | Milner, R. (Robin), 1934-2010 | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Publisher: Cambridge, Massachusetts : MIT Press, 2000Online access: Abstract with links to resource Availability: No items available
Circuit complexity and neural networks / Ian Parberry.
by Parberry, Ian [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available