Normal functors, power series and \(\lambda\)-calculus
From MaRDI portal
Publication:1103618
DOI10.1016/0168-0072(88)90025-5zbMath0646.03056OpenAlexW2004553747MaRDI QIDQ1103618
Publication date: 1988
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(88)90025-5
power seriesprobabilistic algorithms\(\lambda \)-calculuscontinuous functionalsnormal functorsqualitative domains\(\lambda \)-abstractionfunctors preserving direct limits, infinite pull- backs and kernelsGödel-systemsums of types
Categorical logic, topoi (03G30) Theory of software (68N99) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)
Related Items
Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ What is a categorical model of the differential and the resource λ-calculi? ⋮ Taylor expansion, finiteness and strategies ⋮ Categorical Models for Simply Typed Resource Calculi ⋮ Complexity bounds for container functors and comonads ⋮ A General Class of Models of $\mathcal{H}^*$ ⋮ A quantitative interpretation of Girard's System F ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Unnamed Item ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Differential logical relations. II: Increments and derivatives ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Transport of finiteness structures and applications ⋮ Modeling linear logic with implicit functions ⋮ Visible acyclic differential nets. I: Semantics ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Non-idempotent intersection types in logical form ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Tight typings and split bounds, fully developed ⋮ Indexed containers ⋮ An algebraic approach to stable domains ⋮ Weighted models for higher-order computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Inheritance as implicit coercion ⋮ Quantitative domains and infinitary algebras ⋮ Polynomial functors and polynomial monads ⋮ The logic of structures ⋮ Analytic functors between presheaf categories over groupoids ⋮ Unnamed Item ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ Interpreting a finitary pi-calculus in differential interaction nets ⋮ Linear logic ⋮ Two applications of analytic functors ⋮ The bang calculus revisited ⋮ Continuous Functions on Final Coalgebras ⋮ Unnamed Item ⋮ On structural properties of eta-expansions of identity ⋮ Differential Linear Logic and Polarization ⋮ The algebraic lambda calculus ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus
Cites Work
