Proof, language, and interaction : essays in honour of Robin Milner (Record no. 184579)

MARC details
000 -LEADER
fixed length control field 00744nam a22002297a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9780262161886
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Edition number 23rd.
Classification number 005.13
Item number PRO
245 ## - TITLE STATEMENT
Title Proof, language, and interaction : essays in honour of Robin Milner
Statement of responsibility, etc edited by Gordon Plotkin, Colin Stirling and Mads Tofte
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication London
Name of publisher The MIT Press
Year of publication 2000
300 ## - PHYSICAL DESCRIPTION
Number of Pages xiv,722p.;
Dimensions 24cm.
490 ## - SERIES STATEMENT
Series statement Foundations of computing series
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Programming languages (Electronic computers)
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic, symbolic and mathematical
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Plotkin, Gordon ed.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Stirling, Colin ed.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Tofte, Mads ed.
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier www.mitpress.mit.edu
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Collection code Home library Current library Shelving location Date acquired Full call number Accession Number Koha item type
      LINGUISTICS North Eastern Hill University North Eastern Hill University General Stacks 01/04/2026 005.13 PRO 206667 Books