scientific article; zbMATH DE number 7297845

zbMath1452.03031MaRDI QIDQ5144643

P. Bähr, Rasmus Ejlers Møgelberg, Hans Bugge Grathwohl

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330032

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Temporal logic (03B44) Type theory (03B38)

Related Items (9)

When programs have to watch paint dry ⋮ Modal FRP for all: Functional reactive programming without space leaks in Haskell ⋮ Streams of approximations, equivalence of recursive effectful programs ⋮ Denotational semantics of recursive types in synthetic guarded domain theory ⋮ Denotational semantics for guarded dependent type theory ⋮ Temporal refinements for guarded recursive types ⋮ Unnamed Item ⋮ Modal dependent type theory and dependent right adjoints ⋮ Unnamed Item

This page was built for publication: