Skip to content
Texas A&M University Libraries
  • MyLibrary
  • Help

Libraries Catalog

Advanced
  • Category theory and computer s...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /

Bibliographic Details
Corporate Authors: SpringerLink (Online service), Biennial Conference on Category Theory and Computer Science
Other Authors: Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T.
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1995]
Series:Lecture notes in computer science ; 953.
Subjects:
Computer programming > Congresses.
Categories (Mathematics) > Congresses.
lambda calcul.
théorie démonstration.
théorie domaine.
logique programme.
logique mathématique.
théorie catégorie.
Categories (Mathematics)
Computer programming.
Categorieën (wiskunde)
Computers.
Analyse informatique.
Catégories (Mathématiques)
Informatik.
Kategorientheorie.
Kongre€.
Electronic books.
Conference proceedings.
Cambridge (1995)
Online Access:Connect to the full text of this electronic book
  • Holdings
  • Description
  • Table of Contents
  • Similar Items
  • Staff View

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.6 .B53 1995
 
Call Number Status Get It
QA76.6 .B53 1995 Available
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...