Jump to ContentJump to Main Navigation

You are looking at 1-2 of 2 items

  • Keywords: equational logic x
Clear All Modify Search

View:

Algebraic specification of abstract data types

J. Loeckx and H.-D. Ehrich

in Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Published in print:
2001
Published Online:
November 2020
ISBN:
9780198537816
eISBN:
9780191916663
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198537816.003.0004
Subject:
Computer Science, Computer Architecture and Logic Design

It is widely accepted that the quality of software can be improved if its design is systematically based on the principles of modularization and formalization. Modularization consists in replacing ... More


Categorical logic

Andrew M. Pitts

in Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Published in print:
2001
Published Online:
November 2020
ISBN:
9780198537816
eISBN:
9780191916663
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198537816.003.0002
Subject:
Computer Science, Computer Architecture and Logic Design

This chapter provides an introduction to the interaction between category theory and mathematical logic. Category theory describes properties of mathematical structures via their transformations, ... More


View: