Semantics and logics of computation: [... summer school on...

Main
Computers - Programming
Semantics and logics of computation:...

Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]

Pitts Andrew M., Dybjer P. (eds.)

0 / 0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

หมวดหมู่:

Computers - Programming

ปี:

1997

ฉบับพิมพ์ครั้งที่:

1. publ

สำนักพิมพ์:

Cambridge University Press

ภาษา:

english

จำนวนหน้า:

361

ISBN 10:

0521580579

ISBN 13:

9780521580571

ซีรีส์:

Isaac Newton Institute for Mathematical Sciences «Cambridge». Publications of the Newton Institute ; 14

ไฟล์:

DJVU, 2.02 MB

IPFS:

,

english, 1997

อ่านออนไลน์

ดาวน์โหลด (djvu, 2.02 MB)

กำลังแปลงเป็น อยู่

การแปลงเป็น ล้มเหลว

คุณอาจสนใจ

Roberto M. Amadio, Pierre-Louis Curien — Domains and Lambda-Calculi

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

R D Tennent — Semantics of programming languages

R. D. Tennent — Semantics of programming languages

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Zhaohui Luo — Computation and reasoning. A type theory for computer science

Andrea Asperti, Giuseppe Longo — Categories, types, and structures. Introduction to category theory for computer scientists

H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar — Logic Colloquium '87: Proceedings Granada, 1987

M. P. Fourman, P. T. Johnstone, A. M. Pitts — Applications of Categories in Computer Science: Proc. London Math. Soc. Symp., Durham 1991

Andrew M. Pitts, P. Dybjer — Semantics and logics of computation

M. P. Fourman, P. T. Johnstone, A. M. Pitts (Editors) — Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991

Roberto M. Amadio, Pierre-Louis Curien — Domains and Lambda-Calculi

Geoffrey Burn (auth.), Geoffrey Burn BSc (Hons), PhD, DIC, Simon Gay BA (Hons), DipCompSci, Mark Ryan MA, PhD (eds.) — Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Marta Zofia Kwiatkowska BSc, MSc, PhD, Michael William Shields BA, PhD, Richard Monro Thomas MA, MSc, DPhil (auth.) — Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK

Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.) — Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Mikołaj Bojańczyk [Bojańczyk, Mikołaj] — Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences ... Science and General Issues Book 11425)

Roberto Bruni, Ugo Montanari — Models of Computation

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.) — Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings

Olivier Danvy (auth.), Samson Abramsky (eds.) — Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.) — Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Stål Aanderaa (auth.), E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter (eds.) — Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.) — Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.) — Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.) — Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Robin Milner (auth.), David Pitt, David E. Rydeheard, Peter Johnstone (eds.) — Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.) — Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Ofer Arieli, Arnon Avron (auth.), Dirk van Dalen, Marc Bezem (eds.) — Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Samson Abramsky, Guy McCusker (auth.), Mogens Nielsen, Wolfgang Thomas (eds.) — Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

Prakash Panangaden (auth.), Martin Hofmann (eds.) — Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceed

Prakash Panangaden (auth.), Martin Hofmann (eds.) — Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceed

Ulrich Berger, Helmut Schwichtenberg (eds.) — Computational Logic

คำที่ถูกค้นหาบ่อยที่สุด