On clubs and data-type constructors

Publisher Website

26 June 1992

book chapter
Published by Cambridge University Press (CUP)

p. 163-190
https://doi.org/10.1017/cbo9780511525902.010

Abstract

Applications of Categories in Computer Science - June 1992

Keywords

LOGIC

This publication has 0 references indexed in Scilit: