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