Programming languages and applied logic

Theories of Programming Languages

Reynolds, John C.
Published: April 2009Published: December 1998Published: February 2011

The Space and Motion of Communicating Agents

Milner, Robin
Published: March 2009Published: March 2009Published: May 2009

Handbook of Practical Logic and Automated Reasoning

Harrison, John
Published: March 2009Published: April 2009

The Logical Status of Diagrams

Shin, Sun-Joo
Published: March 2009Published: May 1995Published: February 2011

The Unprovability of Consistency

An Essay in Modal Logic

Boolos, George
Published: January 2009

Data Refinement

Model-Oriented Proof Methods and their Comparison

de Roever, Willem-Paul
Engelhardt, Kai
Published: December 2008Published: December 1998Published: March 2011

Algebraic Specification of Communication Protocols

Mauw, S.
Veltink, G. J.
Published: December 2008Published: March 2011

Information Flow

The Logic of Distributed Systems

Barwise, Jon
Seligman, Jerry
Published: August 2008Published: October 1997Published: October 2015

Functional Programming and Input/Output

Gordon, Andrew D.
Published: July 2008

Lambda-Calculus and Combinators

An Introduction

Hindley, J. Roger
Seldin, Jonathan P.
Published: July 2008Published: August 2008
2nd Edition

Mathematical Theory of Domains

Stoltenberg-Hansen, V.
Lindström, I.
Griffor, E. R.
Published: June 2008

Domains and Lambda-Calculi

Amadio, Roberto M.
Curien, Pierre-Louis
Published: May 2008Published: July 1998

First Steps in Modal Logic

Popkorn, Sally
Published: May 2008Published: December 1994

Path-Oriented Program Analysis

Huang, J. C.
Published: March 2008Published: January 2008

Basic Simple Type Theory

Hindley, J. Roger
Published: February 2008Published: July 1997Published: January 2011

Proof Theory

A selection of papers from the Leeds Proof Theory Programme 1990

Aczel, Peter
Simmons, Harold
Wainer, Stanley S.
Published: February 2008Published: February 1993

Understanding Z

A Specification Language and its Formal Semantics

Spivey, J. M.
Published: February 2008

Model-Based Software Testing and Analysis with C#

Jacky, Jonathan
Veanes, Margus
Campbell, Colin
(+ 1 other)
Published: January 2008Published: January 2008Published: January 2008

Concurrent Programming in ML

Reppy, John H.
Published: September 2007Published: October 1999Published: January 2011

Satisficing Games and Decision Making

With Applications to Engineering and Computer Science

Stirling, Wynn C.
Published: August 2007Published: July 2003Published: December 2004