Suggested Topics within your search.
Suggested Topics within your search.
Computer programs
3
Proof theory
3
Categories (Mathematics)
1
Computer simulation
1
Data structures (Computer science)
1
Lambda calculus
1
Logic, Symbolic and mathematical
1
Mathematics
1
Modality (Logic)
1
Programming languages (Electronic computers)
1
Semantics
1
Topology
1
Type theory
1
Verification
1
-
1
-
2
-
3
-
4by Blackburn, Patrick, 1959-“...Cambridge tracts in theoretical computer science ;...”
Published 2001
Book -
5by Stoltenberg-Hansen, Viggo“...Cambridge tracts in theoretical computer science ;...”
Published 1994
Book -
6by Melham, T. F. (Tom F.)“...Cambridge tracts in theoretical computer science ;...”
Published 1993
Book -
7
-
8by Troelstra, A. S. (Anne Sjerp)
Published 2000Edition: 2nd ed.“...Cambridge tracts in theoretical computer science ;...”
Book -
9by Manes, Ernest G., 1943-“...Cambridge tracts in theoretical computer science series ;...”
Published 1992
Book