Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Patrick Bahr

Simply RaTT: A Fitch-Style Modal Calculus for Reactive Programming Without Space Leaks

Proceedings of the ACM on Programming Languages
2019English

Related publications

A Modal Calculus of Partially Ordered Events in a Logic Programming Framework

1995English

Simply Typed Λ-Calculus

1993English

Two Deflationary Approaches to Fitch‐Style Reasoning

2009English

Proof Systems for Retracts in Simply Typed Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Core Calculus for Dynamic Delta-Oriented Programming

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2017English

Fuzzy Simply Lindel?f Space and Fuzzy Simply Baire Space

International Journal of Research in Advent Technology
2019English

Modal Analysis of a Simply Supported Sandwich Beam

International Journal of Research in Engineering and Technology
2016English

A Probabilistic Logic Programming Event Calculus

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy