Programming languages and applied logic

The Way of Z

Practical Programming with Formal Methods

Jacky, Jonathan
Published: March 1997Published: April 2011

Metamathematics, Machines and Gödel's Proof

Shankar, N.
Published: January 1997Published: April 2011

Topology via Logic

Vickers, Steven
Published: August 1996

ML for the Working Programmer

Paulson, Larry C.
Published: July 1996Published: September 2013
2nd Edition

Computability, Enumerability, Unsolvability

Directions in Recursion Theory

Cooper, S. B.
Slaman, T. A.
Wainer, S. S.
Published: January 1996Published: January 2011

Logic and Information

Devlin, Keith
Published: November 1995Published: October 1991

Advances in Linear Logic

Girard, Jean-Yves
Lafont, Yves
Regnier, Laurent
Published: June 1995Published: January 2011

C by Example

Kalicharan, Noel
Published: September 1994

Illustrating C

Alcock, Donald G.
Published: April 1994Published: February 2011
2nd Edition

Categories for Types

Crole, Roy L.
Published: January 1994Published: January 1994

Categories and Computer Science

Walters, R. F. C.
Published: August 1992Published: August 1992Published: April 2011

Applications of Categories in Computer Science

Proceedings of the London Mathematical Society Symposium, Durham 1991

Fourman, M. P.
Johnstone, P. T.
Pitts, A. M.
Published: July 1992Published: January 2011

Introduction to Functional Programming Systems Using Haskell

Davie, Antony J. T.
Published: June 1992

Logical Frameworks

Huet, Gerard
Plotkin, G.
Published: September 1991Published: May 2012

Formal Methods in Artificial Intelligence

Ramsay, Allan M.
Published: August 1991

Rationale for the Design of the Ada Programming Language

Ichbiah, J.
Barnes, J.
Firth, R.
(+ 1 other)
Published: April 1991

Logic and Computation

Interactive Proof with Cambridge LCF

Paulson, Lawrence C.
Published: July 1990Published: March 2011

Ada: Experiences and Prospects

Proceedings of the Ada-Europe International Conference, Dublin, 1990

Lynch, Barry
Published: July 1990

Distributed Ada: Developments and Experiences

Proceedings of the Distributed Ada '89 Symposium, University of Southampton, 11–12 December 1989

Bishop, Judy M.
Published: May 1990Published: February 2011

Introduction to Higher-Order Categorical Logic

Lambek, J.
Scott, P. J.
Published: July 1988