X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • UB Potsdam  (3)
  • EUV Frankfurt  (1)
  • ÖB Neustadt (Dosse)
  • Jacobs, Bart  (4)
  • Licensed  (4)
  • 1
    Online Resource
    Online Resource
    Categorical logic and type theory (1999)
    Amsterdam ; New York : Elsevier Science
    Details
    UID:
    b3kat_BV036962250
    Format: 1 Online-Ressource (xviii, 760 p.) , ill , 23 cm
    Edition: 1st ed
    Edition: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444501703 , 9780444501707
    Series Statement: Studies in logic and the foundations of mathematics v. 141
    Note: Includes bibliographical references (p. 717-733) and indexes
    Additional Edition: Reproduktion von Categorical logic and type theory c1998
    Language: English
    Subjects: Mathematics
    RVK:
    SK 130
    Keywords: Hochschulschrift
    URL: Volltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    HWR Berlin
    EUV Frankfurt
    TH Brandenburg
    HTW Berlin
    TH Wildau
    BTU Cottbus
    BHT
  • 2
    Online Resource
    Online Resource
    Categorical logic and type theory (1999)
    Amsterdam [u.a.] : Elsevier
    Details
    UID:
    gbv_1684905303
    Format: Online-Ressource
    Edition: 1. ed.
    Edition: Elsevier e-book collection on ScienceDirect
    ISBN: 0444501703 , 9780444501707 , 9780080528700 , 0080528708
    Series Statement: Studies in logic and the foundations of mathematics v. 141
    Content: This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
    Note: Includes bibliographical references (p. 717-733) and indexes , English
    Additional Edition: ISBN 0444501703
    Additional Edition: Erscheint auch als Druck-Ausgabe Jacobs, Bart Categorical logic and type theory Amsterdam ; New York : Elsevier Science, c1999
    Additional Edition: Erscheint auch als Druck-Ausgabe Jacobs, Bart, 1963 - Categorical logic and type theory Amsterdam [u.a.] : Elsevier, 1999 ISBN 0444508538
    Additional Edition: ISBN 0444501703
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    CC 2600
    RVK:
    SK 130
    Keywords: Typentheorie ; Kategorientheorie ; Kategorientheorie ; Typentheorie ; Electronic books ; Electronic books ; Hochschulschrift
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Volltext
    URL: lizenzpflichtig
    URL: lizenzpflichtig
    URL: Inhaltstext
    Author information: Jacobs, Bart 1963-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Stabi Berlin
    UB Potsdam
  • 3
    Online Resource
    Online Resource
    Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (2016)
    Berlin, Heidelberg : Springer
    Details
    UID:
    gbv_1656280922
    Format: Online-Ressource (XI, 550 p. 78 illus, online resource)
    Edition: 1st ed. 2016
    ISBN: 9783662496305
    Series Statement: Lecture Notes in Computer Science 9634
    Content: This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads
    Content: Types -- Comprehensive parametric polymorphism: categorical models and type theory -- Guarded Dependent Type Theory with Coinductive Types -- Dependent Types and Fibred Computational Effects -- Game Semantics for Bounded Polymorphism -- Recursion and Fixed-Points Join Inverse Categories as Models of Reversible Recursion -- A Coalgebraic View of Bar Recursion and Bar Induction -- A New Foundation for Finitary Corecursion -- Fixed-point elimination in the Intuitionistic Propositional Calculus -- Verification and Program Analysis. A Theory of Monitors -- Contextual approximation and higher-order procedures -- A Theory of Slicing for Probabilistic Control Flow Graphs -- Verification of parameterized communicating automata via split-width -- Automata, Logic, Games - Robust Equilibria in Mean-Payoff Games -- Quantifier Alternation for Infinite Words.-Synchronizing automata over nested words -- On Freeze LTL with Ordered Attributes -- Regular transformations of data words through origin information -- Probabilistic and Timed Systems - Trace Refinement in Labelled Markov Decision Processes -- Qualitative Analysis of VASS-Induced MDPs -- Metric Temporal Logic with Counting -- Distributed Synthesis in Continuous Time -- Proof Theory and Lambda Calculus Unary Resolution: Characterizing Ptime -- Focused and Synthetic Nested Sequents -- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of lambda-terms -- Reasoning about call-by-need by means of types -- Algorithms for Infinite Systems Coverability Trees for Petri Nets with Unordered Data -- Shortest paths in one-counter systems -- The Invariance Problem for Matrix Semigroups -- Order-Sorted Rewriting and Congruence Closure -- Monads -- Towards a formal theory of graded monads -- Profinite Monads, Profinite Equations, and Reiterman’s Theorem
    Additional Edition: ISBN 9783662496299
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-49629-9
    Language: English
    DOI: 10.1007/978-3-662-49630-5
    URL: Volltext  (lizenzpflichtig)
    URL: Inhaltstext
    Author information: Löding, Christof 1973-
    Author information: Jacobs, Bart 1963-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 4
    Online Resource
    Online Resource
    Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands (2002)
    Boston, MA : Springer
    Details
    UID:
    gbv_744984998
    Format: Online-Ressource (X, 279 p) , digital
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9780387354965
    Series Statement: IFIP - The International Federation for Information Processing 81
    Content: Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002
    Additional Edition: ISBN 9781475752687
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781475752687
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9780792376835
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781475752670
    Language: English
    DOI: 10.1007/978-0-387-35496-5
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages