Programming languages and applied logic

Lambda-Calculus and Combinators

An Introduction

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

Mathematical Theory of Domains

textbook

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

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

Path-Oriented Program Analysis

Huang, J. C.
Published: January 2008

Model-Based Software Testing and Analysis with C#

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

Concurrent Programming in ML

Reppy, John H.
Published: September 2007Published: August 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

Reactive Systems

Modelling, Specification and Verification

Aceto, Luca
Ingólfsdóttir, Anna
Larsen, Kim Guldstrand
(+ 1 other)
Published: August 2007Published: October 2007

(1 reviews)

Concurrent and Real-Time Programming in Ada

Burns, Alan
Wellings, Andy
Published: July 2007Published: September 2007

A Distributed Pi-Calculus

Hennessy, Matthew
Published: March 2007Published: March 2007

Compiling with Continuations

Appel, Andrew W.
Published: February 2007Published: April 2011

Constraint Logic Programming using Eclipse

Apt, Krzysztof R.
Wallace, Mark
Published: December 2006Published: December 2007

Deductive and Declarative Programming

Padawitz, Peter
Published: November 2006Published: April 2011

The Uncertain Reasoner's Companion

A Mathematical Perspective

Paris, J. B.
Published: November 2006Published: February 2011

The Elements of C# Style

Baldwin, Kenneth
Gray, Andrew
Misfeldt, Trevor
(+ 1 other)
Published: July 2006

The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Carpenter, Robert L.
Published: November 2005Published: March 2011