abc@cs.nott.ac.uk (Andy Cheese) (12/08/86)
CAMP84a *
ed. Campbell J.A.
Implementations of Prolog
Ellis Horwood Series Artificial Intelligence
Ellis Horwood 1984
CAMP86a *
Campbell J.A.
On Artificial Intelligence
Artificial Intelligence Review, 1, pp 3-9
1986
CARD?? *
Cardelli L.
A Semantics of Multiple Inheritance
CARD84a *
Cardelli L.
Compiling a Functional Language
Proceedings of 1984 ACM Symposium on Lisp and Functional Programming,
Austin, Texas
pp 208-217
August 1984
CARD85a *
Cardelli L.
Amber
Proceedings of the Treizieme Ecole de Printemps d'Informatique Theorique,
Le Val D'Ajol, Vosges, France
May 1985
CARD??
Cardelli L.
The Amber Machine
CARR85a *
Carr H. & Kessler R.R.
A FORTH-Based Object File Format and Relocating Loader used to Bootstrap
Portable Standard Lisp
Utah Portable AI Support Systems Project
Opnote-85-02
Dept of Computer Science, University of Utah
May 20 1985
CART79a *
Cartwright R. & McCarthy J.
First Order Programming Logic
Proceedings ACM 6th Symposium on Principles of Programming Languages
pp 68-80
1979
CART83a *
Cartwright R. & Donahue J.
The Semantics of Lazy (and Industrious) Evaluation
CSL-83-9 , Xerox PARC 1983
CATT80a
Catto A.J. & Gurd J.R.
Nondeterministic Dataflow Graphs
Proceeedings of 8th World Computer Congress, IFIP 80, pp 251-256
October 1980
CATT81a
Catto A.J.
Nondeterministic Programming in a Dataflow Environment
PhD thesis, Dept of Comp Sci, Univ. of Manchester, June 1981
CATT81b
Catto A.J. & Gurd J.R.
Resource Management in Dataflow
Proc ACM Conf on Functional Languages and Computer Architecture
pp 77-84
October 1981
CERI86a *
Ceri S. & Gottlob G.
Normalization Of Relations And Prolog
CACM, Vol 29, No 6, pp 524 - 544
June 1986
CHAL83a *
Overview Of The Programming Methodology Group At Chalmers University
Of Technology
Declarative Programming Workshop, University College London
pp 203-212
11-13th April 1983
CHAM84a *
eds. Chambers F.B. & Duce D.A. & Jones G.P.
Distributed Computing
Apic Studies in Data Processing no 20
Academic Press, 1984
CHAN73a
Chan C-L. & Lee RC-T.
Symbolic Logic and Mechanical Theorem Proving
Academic Press
1973
CHAN85a *
Chan Y.G. & Lasserre C. & Roussel P.
Minutes of the AFNOR Meetings on Prolog Standardisation
December 5th 1985
PS/80, 6 pages
summary of the four AFNOR meetings in Oct and Nov 1985
December 1985
CHAN85b *
Chan Y.C.
Error Handling in Prolog - Proposition of Evaluable Predicate
PS/88, 4 pages
25 October 1985
CHAND85a *
Chandrasekaran N. & Lakshaman V.S. & Iyengar S.S. & Venimadhavan C.E. &
Chen P.S.
A Denotational Semantics For The Generalized Entity Relationship Model
And A Simple ER Model
Technical Report No 85-018
Department of Computer Science, Louisianna State University
March 15 1985
CHAND85b *
Chandra A.K. & Harel D.
Horn Clause Queries and Optimizations
Journal of Logic Programming, Vol 2, No 1, pp 1-16
April 1985
CHANG84a
Chang J.H. & DeGroot D.
AND-Parallelism of Logic Programs Based on Static Data Dependency Analysis
Dept. of Electrical Eng. & Computer Sci, Univ. of California,Berkely,Sept 1984
CHAN85a *
Chang J.-H. & Despain A.M.
Semi-Intelligent Backtracking of Prolog Based on Static Data
Dependency Analysis
1985 IEEE Symposium on Logic Programming
pp 10-21
1985
CHAU85a
Chau Y.N.
PARLOG For Expert Systems
MSc Thesis, Dept of Computing, Imperial College
1985
CHEE85a *
Cheese A.B.
The Applicability of SKI(BC) Combinators in a Parallel Rewrite Rule Environment
Msc Thesis
Department of Computer Science, University of Manchester
October 1985
CHEE86a *
Cheese A.B.
Report on Visit to Department of Computer Science, University of Utah, U.S.A.
1st to 8th June, 1986
Declarative Languages Note No. ABC-86-02
Department of Computer Science, University of Nottingham
also in Alvey IKBS Mailshot, IKBS/MS 9/86 3.1, September 1986
1986
CHEN84a *
Chen W. & Sitharama Iyengar S.
Design and Implementation of A Complete Binary Tree System for the Activation
of Concurrent Processes
Technical Report No 84-33
Department of Computer Science, Louisiana State University
1984
CHEN84b *
Chen T.Y. & Lassez J-L. & Port G.S.
Maximal Unifiable Subsets And Minimal Non-unifiable Subsets
Technical Report 84/16
Department of Computer Science, University of Melbourne
1984
CHENG?? *
Chengzheng S. & Yungui T.
PSOF : A Process Model Based on the Or-Forest Description
Department of Computer Science, Changsha Institute of Technology, China
CHENG86a *
Cheng M.H.M. & Yukawa K.
AP : An Assertional Programming System
Research Report CS-86-11
Department of Computer Science, University of Waterloo
April 1986
CHES80a *
Chester D.
HCPRVR: An Interpreter for Logic Programs
Proc 1st Annual National Conference on Artificial Intelligence
pp 93-95
1980
CHEW80a *
Chew P.
An Improved Algorithm for Computing with Equations
IEEE 21st Annual Symposium on Foundations of Computer Science
pp 108-117
1980
CHEW81a *
Chew P.
Unique Normal Forms in Term Rewriting Systems with Repeated Variables
13th Annual ACM Symposium on Theory of Computing (STOC)
pp 7-18
1981
CHIK83a
Chikayama T.
ESP as Preliminary Kernel Language of Fifth Generation Computers
( Also in New Generation Computing, Vol 1, No 1, 1983 )
ICOT Research Center, Technical Report TR-005
1983
CHIK84a *
Chikayama T.
Unique Features of ESP
( Also in "Proceedings of FGCS 84", Tokyo, 1984 )
ICOT Research Center, Technical Memorandum TM-0055
April 1984
CHOI85a *
Choi J.M. & Song M.S. & Jeong K.J. & Kwon H.C. & Han S.Y. & Kim Y.T.
A Prolog-Based Korean-English Machine Translation System and its
Efficient Method of Dictionary Management
in WADA86a, pp 236-245
1985
CHRI86a *
Christ N.H. & Terrang A.E.
A Micro-Based Supercomputer
pp 145-160
Byte, Vol 11, no 4, Special Issue on Number Crunching
April 1986
CHUN84a *
Chung P.W.H.
Con-current Logo : A language for Teaching Control Applications
D.A.I. Research Paper No. 243
Department of Artificial Intelligence, University of Edinburgh
paper presented at British Logo Users Group 84 Conference
to be published in LOGO Almanack, Vol. 1, Part 2
October 1984
CHUN85a *
Chung P.
A Standard for Formatted Input and Output in Prolog
DRAFT
University of Edinburgh, AI Applications Institute
Programming Systems Group Note 43
AIAI/PSG43/85
PS/64, 6 pages
20 August 1985
CHUN85b *
Chung P.
A Standard for Formatted Input and Output in Prolog (Revised)
University of Edinburgh, AI Applications Institute
Programming Systems Group Note 43
AIAI/PSG43/85
PS/89, 6 pages
9th December 1985
CHUR41a
Church A.
The Calculi of Lambda-Conversion
Princeton University Press, Princeton, N.J., 1941
CIE83a *
Ciepielewski A. & Haridi S.
A Formal Model For Or-Parallel Execution Of Logic Programs
Information Processing 1983, pp 299-305
1983
CIEP84a *
Ciepielewski A.
Towards A Computer Architecture For Or-Parallel Execution Of Logic Programs
TRITA-CS-8401
Part I
Academic Dissertation
Royal Institute of Technology, Department of Computer Systems,
Stockholm, Sweden
May 17 1984
CIEP84b *
Ciepielewski A.
Towards A Computer Architecture For Or-Parallel Execution Of Logic Programs
TRITA-CS-8401
Part II
Academic Dissertation
Royal Institute of Technology, Department of Computer Systems,
Stockholm, Sweden
May 17 1984
CIEP85a *
Ciepielewski A. & Haridi S. & Hausman B.
Initial Evaluation of a Virtual Machine for OR-Parallel Execution of
Logic Programs
DRAFT
IFIP TC-10 Working Conference on Fifth Generation Computer Architecture,
UMIST, Manchester
July 15-18 1985
CLAC85a *
Clack C. & Peyton-Jones S.
Strictness Analysis - A Practical Approach
in Proc. IFIP Conf. on Functional Programming Languages and
Computer Architecture, Sept 16-19 '85, Nancy, France
1985
CLAC86a *
Clack C. & Peyton-Jones S. L.
The Four-Stroke Reduction Engine
Internal Note 1902, Internal Working Paper
Department of Computer Science, University College London
also presented at ACM Conference on Lisp and Functional Programming,
Boston, August 1986
1986
CLARE86a *
Clare A.R. & Souza J. de
Experience of Using Prolog to Implement a Medium Sized Program for a
Real Application
Internal Report SYS-C86-08
School of Information Systems, University of East Anglia
September 22 1986
CLARE86b *
Clare A.R. & Sleep M.R.
Assessing the Performance of Declarative Language Implmentations
Declarative Systems Project
School of Information Systems, University of East Anglia
October 29 1986
CLARE86c *
Clare A.R. & Sleep M.R.
A Naive Comparison of Three Declarative Languages
DRAFT
School of Information Systems, University of East Anglia
June 13 1986
CLARK77a
Clark K.L. & Sickel
Predicate Logic: A Calculus For Deriving Programs
Proc. 5th Int. Joint Conf. on Artif. Intell., Cambridge, Mass 1977
CLARK77b *
Clark K.L. & Tarnlund S. -A.
A First Order Theory of Data and Programs
Proc. IFIP 1977, pp 939-944
Amsterdam: North Holland
CLARK78a
Clark K.L.
Negation As Failiure
In "Logic and Databases", pp 293-322
New York: Plenum Press, 1978
CLARK78b *
Clark D.W. & Green C.C.
A Note On Shared List Structure In Lisp
Information Processing Letters, Vol 7, No 6
pp 312-314
October 1978
CLARK79a
Clark K.L. & McCabe F.
The Control Facilities of IC-Prolog
Internal Report, Dept of Computing, Imperial College
1979
CLARK79b
Clark D.W.
Measurements of Dynamic List Structure Use in LISP
IEEE TOSE Vol SE-5 No 1, Jan 1979
CLARK79c
Clark K.L.
Consequence Verification of Flowcharts
Department of Computing, Imperial College, TOC 79/8
1979
CLARK79d *
Clark K.L.
Predicate Logic As A Computational Formalism
Department of Computing, Imperial College, TOC 79/59
December 1979
CLARK79e *
Clark K.L. & McCabe F.G.
The Control Facilities Of IC-Prolog
in "Expert Systems In The Micro-Electronic Age" (ed. Michie D.)
pp 122-149
Edinburgh University Press
1979
CLARK80a
Clark K.L. & Darlington J.
Algorithm Classification Through Synthesis
Computer Journal, 61-65, 1980
CLARK80b *
Clarke J.W. & Gladstone P.J.S. & Maclean C.D. & Norman A.C.
SKIM - S,K,I Reduction Machine
Proceedings LISP Conference, Stanford, 1980
CLARK80c *
Clark J.H.
Structuring A VLSI System Architecture
Lambda, second quarter, 1980 , pp25-30
1980
CLARK80d *
Clark K.L. & McCabe F.G.
IC-PROLOG: Aspects of its Implementation
Proceedings of Logic Programming Workshop, Debrecen
1980
CLARK80e
Clark K.L. & McCabe F.G.
Prolog: A Language For Implementing Expert Systems
Department of Computing, Imperial College, Technical Report 80/21
November 1980
also
Machine Intelligence 10, Ellis Horowood
1982
CLARK81a
Clark D.W. & Lampson B.W. & McDaniel G.A. & Ornstein S.M.
The Memory System of a High-Performance Personal Computer
CSL-81-1 , Xerox PARC, Jan 1981
CLARK81b *
Clark K.L.
An Introduction To Logic Programming
Department of Computing, Imperial College, A Tutorial 81/14
April 1981
see Introductory Readings in Expert Systems, (ed Michie, Gordon & Breach )
1981
CLARK81c
Clark K.L. & Gregory S.
A Relational Language For Parallel Programming
Department of Computing, Imperial College, Research report 81/16
July 1981
see Functional Languages and Computer Architecture Conference,
Portsmouth, New Hampshire
October 1981
CLARK81d
Clark K.L. & McCabe F.G. & Gregory S.
IC-Prolog Language Features
Department of Computing, Imperial College, Research Report 81/31
October 1981
CLARK81e *
Clark K.L.
The Synthesis And Verification Of Logic Programs
Department of Computing, Imperial College, Research Report 81/36
September 1981
CLARK82a *
Clark K.L. & Tarnlund S. -A.
Logic Programming
London: Academic Press, 1982
CLARK82b *
Clark T.S.
S-K Reduction Engine For An Applicative Language
Dept of Comp Sci, University of Illinois at Urbana-Champaign
Report no UIUCDCS-R-82-1119, UILU-ENG 82 1741
December 1982
CLARK82c
Clark K.L. & McKeeman W.M. & Sickel S.
Logic Program Specification of Numerical Integration
Research Report 82/3
Department of Computing, Imperial College
(see Logic Programming (eds Clark K.L. & Tarnlund S.A.) Academic Press,
London, 1982)
March 1982
CLARK83a *
Clark K. & Gregory S.
PARLOG: A Parallel Logic Programming Language (Draft)
Research Report DOC 83/5, Dept. of Computing, Imperial College
CLARK84a *
Clark K. & Gregory S.
PARLOG: Parallel Programming in Logic
Research Report DOC 84/4, Dept. of Computing, Imperial College
CLARK84b
Clark K.L. & McCabe F.G.
Micro-Prolog: Programming in Logic
Prentice Hall International Series in Computer Science
January 1984
CLARK84c *
Clark K.L. & Gregory S.
Notes on Systems Programming in PARLOG
Research Report DOC 84/15
Department of Computing, Imperial College
also in Proceedings of the International Conference on Fifth Generation
Computer Systems, Tokyo, November 1984
(ed Aiso H. )
Elsevier, North Holland
pp 299-306
July 1984
CLARK84d *
Clark K.L. & Gregory S.
Notes on the Implementation of Parlog
Research Report DOC 84/16
Department of Computing, Imperial College
October 1984
also in
IFIP TC-10 Working Conference on Fifth Generation Computer Architecture,
UMIST, Manchester
July 15-18 1985
CLARK84e *
Clark K. & Darlington J. & Kowalski R. & Ennals R.
Research Plan
Declarative Systems Research Group, Department of Computing
Imperial College of Science and Technology
November 1984
CLARK85a
Clarke E.M. Jr.
The Characterization Problem For Hoare Logics
in HOA85a
1985
CLARK85b *
Clark K. & Gregory S.
Notes on the Implementation of Parlog
Journal of Logic Programming, Vol 2, No 1, pp 17-42
April 1985
CLAY84a
Clayton B.D.
ART Programming Primer
Inference Corporation, 1984
CLEL86a *
ed. Cleland G.
LFCS Newsletter No. 0
October 1986
CLOC81a *
Clocksin W.F. & Mellish C.S.
Programming in PROLOG
Springer Verlag 1981 (2nd Edition 1984)
CLOC83a *
Clocksin W.F.
Hortus Logico-Calculus
Notes for Tutorial Session on Declarative Languages and Architectures 1983
CLOC83b *
Clocksin W.F.
The ZIP Virtual Machine
Computer Laboratory, University of Cambridge
January 1983
CLOC83c *
Clocksin W.F.
Executing Prolog at Ten Times DEC-10 Speed
28 November 1983
CLOC84a
Clocksin W.F.
Memory Representation Issues for Prolog Implementation
Computer Laboratory, University of Cambridge
CLOC84b *
Clocksin W.F.
Notes on FlexiFlow
Computer Laboratory, University of Cambridge Jan. 1984
CLOC84c *
Clocksin W.F.
On a Declarative Constraint Language
Computer Laboratory, University of Cambridge Jan. 1984
CLOC84d *
Clocksin W.F.
What is Prolog-X?
Computer Laboratory, University of Cambridge
CLOC85a *
Clocksin W.F.
Implementation Techniques for Prolog Databases.
Software - Practise and Experience Vol 15(7), pp 669-675
July 1985
CLOC85b *
Clocksin W.F.
Logic Programming and the Specification of Circuits
Computer Laboratory, University of Cambridge
Technical Report no 72
1985
CLOC85c *
Clocksin W.F.
Design And Simulation Of A Sequential Prolog Machine
New Generation Computing, 3, pp 101-120
1985
CLOC86a *
Clocksin W.F.
A Method For Efficiently Executing Horn Clause Programs Using Multiple
Processors
Computer Laboratory, University of Cambridge
27 May 1986
CLOC86b *
Clocksin W.F.
Reference Summary of Prolog-X
1986
CODI85a
Codish M. & Shapiro E.
Compiling OR-Parallelism into AND-Parallelism
Technical Report CS85-18, Dept Applied Maths, Weizmann Inst
1985
COEL83a *
Coelho H.
Prolog: A Programming Tool For Logical Domain Modelling
in Processes and Tools for Decision Suport
(ed Sol H.G.), pp 37-45
North Holland
1983
COHE81a
Cohen J.
Garbage Collection of Linked Data Structures
ACM Computing Surveys Vol 13 No.3 Sept 1981, pp 341-367
COHE86a *
Cohen S.
The APPLOG Language
in DEGR86a, pp 239-278
1986
COHN86a *
Cohn A.G.
On The Solution Of Schubert's Steamroller In Many Sorted Logic
Dept of Computer Science, University of Warwick
9 April 1986
COLL60a
Collins G.E.
A Method For Overlapping and Erasure of Lists
CACM 3, no 12, pp 655-657
1960
COLM73a
Colmerauer A. & Kanoui H. & Pasero R. & Roussel P.
Un Systeme de Communication Homme-machine en Francais
Group Intelligence Artificielle
Universite d,Aix Marseille, Luminy, 1973
COLM81a *
Colmerauer A. & Kanoui H. & Canegham M. Van
Last Steps Towards An Ultimate Prolog
Proceedings of the Seventh International Joint Conference on Artificial
pp 947-948
Intelligence, Vancouver
1981
CONE83a
Conery J.S.
The AND/OR Process Model for Parallel Execution of Logic Programs
Phd Dissertation, Univ of California, Irvine,
Tech rep 204, Information and computer science
1983
CONE83b *
Conery J.S. & Kibler D.F.
AND Parallelism In Logic Programs
IJCAI 83, pp 539-543
1983
CONE85a *
Conery J.S. & Kibler D.F.
AND Parallelism and Nondeterminism in Logic Programs
New Generation Computing, 3, pp 43-70
1985
CONS83a *
Constable R.L.
Programs as Proofs: A Synopsis
Information Processing Letters, 16, pp 105-112
1983
CONS84a *
Constable R.L. & Zlatin D.R.
The Type Theory of PL/CV3
ACM Transactions on Programming Languages and Systems, Vol 6, No 1, pp 94-117
January 1984
COOM84a *
ed. Coombs M.J.
Developments in Expert Systems
Academic Press 1984
CORE86a *
Core P.W. & Foster J.M.
TEN15 : An Overview
542 MAL-21
September 1986
CORN79a *
Cornish M. et al
The TI Data Flow Architectures: The Power of Concurrency For Avionics
Proc. 3rd Digital Avionics Systems Conf., pp 19-25
November 1979
CORY84a
Cory H.T. & Hammond P. & Kowalski R.A. & Kriwaczek F. & Sadri F.
& Sergot M.
The British Nationality Act As A Logic Program
Dept of Computing, Imperial College, London
1984
CORY85a *
Cory H.T. & Moss C.D.S.
The Implementation of Prolog
Department of Computing, Imperial College
PS/49, 28 pages
June 1985
COST84a *
Costa G.
A Metric Characterization of Fair Computations in CCS
Department of Computer Science, University of Edinburgh
Internal Report CSR-169-84
October 1984
COST85a *
Costa G. & Stirling C.
Weak and Strong Fairness in CCS
Department of Computer Science, University of Edinburgh
Internal Report CSR-167-85
January 1985
COVI85a *
Covington M.A.
Eliminating Unwanted Loops In Prolog
ACM SIGPLAN Notices 20, 1, pp 20-26
January 1985
COVI85b *
Covington M.A.
A Further Note on Looping in Prolog
ACM SIGPLAN Notices, Vol 20, No 8, pp 28-31
August 1985
COX83a
Cox Brad J.
Object Oriented Programming in C
Unix review, October/Novemeber 1983 Page 67
COX84a
Cox Brad J.
Object Oriented Programming in C
Unix Review, February/March 1984 Page 56
COX84b *
Cox P.T. & Pietrzykowski T.
A Complete Nonredundant Algorithm for Reversed Skolemization
Theoretical Computer Science, 28, pp 239-261
1984
COUR82a
Courcelle B.
Fundamental Properties of Infinite Trees
in BROY82a, pp 417-470
1982
COUR83a *
Courcelle B.
Fundamental Properties of Infinite Trees
Theoretical Computer Science, 25, pp 95-169
1983
COUR84a
ed. Courcelle B.
Ninth Colloquium on Trees in Algebra and Programming
CUP 1984
COUS85a
Cousineau G. & Curien P. -L. & Mauny M.
The Categorical Abstract Machine
CNRS-Universite Paris VII LITP
85-8
January 1985
CRAI86a *
Craig I.D.
The Ariadne-1 Blackboard System
Computer Journal, Vol 29, No 3, pp 235-240
1986
CRAM84a *
Crammond J.A. & Miller C.D.F.
An Architecture For Parallel Logic Languages
Proceedings of 2nd International Logic Programming Conference
Uppsala
pp 183-194
July 1984
CRAM85a *
Crammond J.A.
A Comparative Study of Unification Algorithms for OR_Parallel Execution of
Logic Languages
IEEE Transactions on Computers, Vol c-34, no 10, pp 911-917
October 1985
CRAM86a *
Crammond J.
An Execution Model For Committed-Choice Non-Deterministic Languages
Dept of Computer Science, Heriot-Watt University
To be presented at Third Symposium on Logic Programming 1986
CRIP83a *
Cripps M.D. & Field A.J.
The MARCH HARE Network Switching Device
Research Report DOC 83/30
Department of Computing, Imperial College
March 1983
CRIP86a *
Cripps M.D. & Field A.J. & Reeve M.J.
The Design and Implementation of ALICE : A Parallel Graph Reduction Machine
Department of Computing, Imperial College
to be published in "Functional Programming Languages, Tools and Architectures"
ed. S. Eisenbach, by Ellis Horwood, 1986
also printed for special seminar on "The Fifth Generation" held during the
European Control Data Users Association (ECODU) meeting in London on
April 21st 1986
1986
CSIR81a *
Csirmaz L.
Programs and Program Verifications in a General Setting
Theoretical Computer Science, 16, pp 199-210
1981
CSLI86a *
CSLI Monthly
Vol 1, No 1
Center For The Study of Language and Information
Stanford University
March 1986
CUNN80a
Cunningham R.J.
An Applicative Model For Imperative Programming Languages: A Framework For
Verification And Synthesis
Department of Computing, Imperial College, Research Report 80/9
November 1980
CUNN81a *
Cunningham R.J. & Salih A.A.
The Use of Verification-Oriented Software Specification in Telecommunication
Engineering
Department of Computing, Imperial College, Research Report 81/4
February 1981
also
Fourth International Conference on Software Engineering for Telecommunication
Switching Systems, University of Warwick
July 1981
CUNN82a *
Cunningham R.J. & Zappacosta-Amboldi S.
Software Tools For First Order Logic
Research Report 82/19
Department of Computing, Imperial College
1982
CUNN86a *
Cunnington K.
Prolog Standardization Working Paper - The Use of Integer Indexes in Clauses
PS/137
9th September 1986
CURI85a
Curien P. -L.
Typed Categorical Combinatory Logic
CNRS-Universite Paris VII LITP
85-15
February 1985
CURI85b
Curien P. -L.
Categorical Combinators, Sequentials Algorithms and Functional Programming
CNRS-Universite Paris VII LITP
85-26
March 1985
CURI86a
Curien P.L.
Categorical Combinators, Sequential Algorithms And Functional Programming
ISBN 0-470-20290-4
Research Notes in Theoretical Computer Science series
John Wiley & Sons Inc.
1986
CURR58a
Curry H.B. & Feys R.
Combinatory Logic, Vol 1
North Holland Publishing Company, Amsterdam, 1958
CURR72a
Curry H.B & Hindley J.R. & Seldin J.P.
Combinatory Logic, Vol II
North Holland Publishing Company, Amsterdam, 1972
CUTC86a *
Cutcher M.
BSI Modules in Prolog - Discussion Note
ICL Reading
in BSI86s
1986
--
Andy Cheese