Mathematics of Program Construction

View on Open Library

Mathematics of Program Construction

by Jeremy Gibbons

No reviews yet

First published: 2012 1 language ISBN: 9783642311130

Subjects

Mathematical Logic and Formal Languages Logic design Computational complexity Discrete Mathematics in Computer Science Software engineering Math Applications in Computer Science Logics and Meanings of Programs Computer science Programming Languages, Compilers, Interpreters

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jeremy Gibbons

Generic and Indexed Programming

Generic and Indexed Programming

Algorithm Design with Haskell

Algorithm Design with Haskell

FUN OF PROGRAMMING; ED. BY JEREMY GIBBONS

FUN OF PROGRAMMING; ED. BY JEREMY GIBBON...

Generic Programming

Generic Programming

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the...

Haskell'17

You Might Also Like

More in Mathematical Logic a...

Reachability Problems

Reachability Problems

Parosh Aziz Abdulla

Artificial general intelligence

Artificial general intelligence

Ben Goertzel

Computer Games

Tristan Cazenave

Logical Foundations of Computer Science

Logical Foundations of Computer Science

Sergei Artemov

Language and Automata Theory and Applications

Language and Automata Theory and Applica...

Adrian-Horia Dediu

New Frontiers In Artificial Intelligence

New Frontiers In Artificial Intelligence

Daisuke Bekki