Programming languages and applied logic

Type Theory and Formal Proof

An Introduction

Nederpelt, Rob
Geuvers, Herman
Published: November 2014Published: November 2014

Thinking Functionally with Haskell

Bird, Richard
Published: October 2014Published: October 2014Published: October 2014

The Semantic Web Explained

The Technology and Mathematics behind Web 3.0

Szeredi, Péter
Lukácsy, Gergely
Benkő, Tamás
Published: September 2014Published: August 2014

Basic Category Theory

Leinster, Tom
Published: July 2014

Programming in Ada 2012

Barnes, John
Published: June 2014

Turing's Legacy

Developments from Turing's Ideas in Logic

Downey, Rod
Published: May 2014Published: April 2014

Program Logics for Certified Compilers

Appel, Andrew W.
Published: April 2014Published: March 2014

Foundations of Data Exchange

Arenas, Marcelo
Barceló, Pablo
Libkin, Leonid
(+ 1 other)
Published: March 2014Published: No date available

Modal Logic for Philosophers

Garson, James W.
Published: January 2014Published: November 2013Published: No date available
2nd Edition

Nominal Sets

Names and Symmetry in Computer Science

Pitts, Andrew M.
Published: May 2013Published: No date available

Systematic Program Design

From Clarity to Efficiency

Liu, Yanhong Annie
Published: May 2013Published: May 2013Published: June 2013

Functional Programming Using F#

Hansen, Michael R.
Rischel, Hans
Published: May 2013Published: May 2013Published: May 2013

(1 reviews)

Non-Hausdorff Topology and Domain Theory

Selected Topics in Point-Set Topology

Goubault-Larrecq, Jean
Published: March 2013Published: March 2013

Practical Foundations for Programming Languages

Harper, Robert
Published: February 2013

Graph Structure and Monadic Second-Order Logic

A Language-Theoretic Approach

Courcelle, Bruno
Engelfriet, Joost
Published: June 2012Published: July 2013

Programming with Higher-Order Logic

Miller, Dale
Nadathur, Gopalan
Published: June 2012Published: June 2012

Nonmonotonic Reasoning

Logical Foundations of Commonsense

Brewka, Gerhard
Published: March 2012Published: February 1991

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Roever, Willem-Paul de
Boer, Frank de
Hanneman, Ulrich
(+ 4 others)
Published: January 2012Published: November 2001

Specification and Proof in Real Time CSP

Davies, Jim
Published: January 2012Published: May 1993Published: May 2012

Proofs and Computations

Schwichtenberg, Helmut
Wainer, Stanley S.
Published: December 2011Published: February 2012