Category theory and programming language semantics

View on Open Library

Category theory and programming language semantics

by Peter Dybjer

No reviews yet

First published: 1986 1 language

Subjects

Programming languages (Electronic computers) Semantics 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 computer science

Category theory and computer science

Semantics And Logics Of Computation

Semantics And Logics Of Computation

You Might Also Like

More in Programming language...

Course ILT

Course Technology

Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon

Mastering today's software

Mastering today's software

Edward G. Martin

Introducing Computers

Introducing Computers

Robert H. Blissmer

Java How to Program

Java How to Program

Harvey M. Deitel

Java for dummies

Java for dummies

Barry A. Burd