We discuss a data type specification language DSL(∑) which is obtained from the first order language L(∑) for a given signature ∑ by augmenting it with schemes.
J.A. (Jan) Bergstra合作论文数Informatics Institute, Faculty of Science, University of Amsterdam2
H.P. Barendregt (Henk)合作论文数Radboud University1
Erik Palmgren合作论文数1
I. (Ieke) Moerdijk合作论文数Mathematical Institute, University of Utrecht;Department of Mathematics, University of Utrecht1J. I. Seiferas合作论文数1Joel Seiferas合作论文数University of Rochester1
John V. Tucker合作论文数Computer Science1
