Proof, language, and interaction essays in honour of Robin Milner

Saved in:
Bibliographic Details
Other Authors: Plotkin, G. 1946-, Stirling, Colin P., Tofte, Mads., Milner, R. 1934-2010.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, 2000.
Series: Foundations of computing.
Subjects:
Milner, R. > (Robin), > 1934-2010.
Computer science.
elektronické knihy
electronic books
ISBN: 9780262281676
Physical Description: 1 online zdroj (xiv, 722 p.) : ill.

Cover

Table of contents

LEADER 02441cam a2200397 a 4500
001 74732
003 CZ ZlUTB
005 20240911212126.0
006 m d
007 cr un
008 020102s2000 maua sb 010 0 eng d
020 |a 9780262281676  |q (ebook) 
035 |a (OCoLC)49569073  |z (OCoLC)827012921 
040 |a N$T  |b eng  |c N$T  |d OCLCQ  |d YDXCP  |d OCLCG  |d OCLCQ  |d OCLCA  |d OCLCQ  |d TUU  |d OCLCQ  |d TNF  |d OCLCQ  |d IEEEE  |d NHA  |d OCLCF 
245 0 0 |a Proof, language, and interaction  |h [elektronický zdroj] :  |b essays in honour of Robin Milner /  |c edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c 2000. 
300 |a 1 online zdroj (xiv, 722 p.) :  |b ill. 
490 1 |a Foundations of computing 
504 |a Includes bibliographical references. 
505 2 0 |t A brief scientific biography of Robin Milner --  |t Bistructures, bidomains, and linear logic /  |r Pierre-Louis Curien, Gordon Plotkin and Glynn Winskel --  |t Axioms for definability and full completeness /  |r Samson Abramsky --  |t Algebraic derivation of an operational semantics /  |r C. A. R. Hoare, He Jifeng and Augusto Sampaio --  |t From Banach to Milner: metric semantics for second order communication and concurrency /  |r Jaco de Bakker and Franck van Breugel --  |t The tile model /  |r Fabio Gadducci and Ugo Montanari --  |t From LCF to HOL: a short history /  |r Mike Gordon --  |t A fixedpoint approach to (co)inductive and (co)datatype definitions /  |r Lawrence C. Paulson 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity 
650 0 |a Computer science. 
600 1 0 |a Milner, R.  |q (Robin),  |d 1934-2010. 
600 1 7 |a Milner, R.  |q (Robin),  |d 1934-2010.  |2 fast  |0 (OCoLC)fst01754154 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Plotkin, G.  |q (Gordon),  |d 1946- 
700 1 |a Stirling, Colin P. 
700 1 |a Tofte, Mads. 
700 1 |a Milner, R.  |q (Robin),  |d 1934-2010. 
776 0 8 |i Print version:  |t Proof, language, and interaction.  |d Cambridge, Mass. : MIT Press, 2000  |z 0262161885  |w (DLC) 99027800  |w (OCoLC)41944560 
830 0 |a Foundations of computing. 
856 4 0 |u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 74732  |d 74732 
993 |x NEPOSILAT  |y EIZ 

Similar Items