단행본 상세

서지주요정보
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
서명 / 저자 Category Theory and Computer Science [electronic resource] : Paris, France, September 3-6, 1991. Proceedings / edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard.
저자명 Pitt, David H. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Curien, Pierre-Louis. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Abramsky, Samson. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Pitts, Andrew. editor. (orcid)0000-0001-7775-3471 https://orcid.org/0000-0001-7775-3471 edt http://id.loc.gov/vocabulary/relators/edt ; Poigne, Axel. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Rydeheard, David E. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 1991.
발행사항 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 530
Online Access https://doi.org/10.1007/BFb001... URL

서지기타정보

서지기타정보
ISBN 9783540384137
기타 표준번호 10.1007/BFb0013452
청구기호 QA1-939
형태사항 VIII, 304 p. online resource.
언어 English
내용 Stone duality for stable functions -- Bifinite domains: Stable case -- Local variables and non-interference in algol-like languages -- Categories of information systems -- Collapsing graph models by preorders -- Linear logic and interference control -- Higher dimensional word problem -- BCK-formulas having unique proofs -- Proof nets and coherence theorems -- A modular approach to denotational semantics -- Programs in partial algebras — A categorical approach -- Tail recursion from universal invariants -- A direct proof of the intuitionistic Ramsey Theorem -- Constructions and predicates -- Relating models of impredicative type theories -- Two results on set-theoretic polymorphism -- An algebra of graphs and graph rewriting -- Dataflow networks are fibrations -- Applications of the calculus of trees to process description languages.
주제 Mathematics.
Computer science.
Machine theory.
Compilers (Computer programs).
Software engineering.
Mathematics.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Software Engineering.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783662161661 Printed edition: 9783540544951
QR CODE