Category theory and computer science View on Open Library

Category theory and computer science

by Peter Dybjer

No reviews yet
First published: 1989 1 language ISBN: 9783540516620
Subjects
Théorie catégorie Catégorie Théorie type Langage programmation Calcul propositionnel Génie logiciel Logique mathématique Construction langage Computer programming Categories (mathematics)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Peter Dybjer

Types for Proofs and Programs

Types for Proofs and Programs

Applied Semantics

Applied Semantics

Semantics and logics of computation

Semantics and logics of computation

Category theory and programming language semantics

Category theory and programming language...

Semantics And Logics Of Computation

Semantics And Logics Of Computation

You Might Also Like

More in Théorie catégorie
Real Analysis

Real Analysis

H. L. Royden
A short commentary on Kant's Critique of pure reason

A short commentary on Kant's Critique of...

Ewing, A. C.
Algebras, rings and modules

Algebras, rings and modules

Michiel Hazewinkel
Measure and category

Measure and category

John C. Oxtoby
How to Bake Pi

How to Bake Pi

Eugenia Cheng
Data classification

Data classification

Charu C. Aggarwal