scientific article; zbMATH DE number 1956503
From MaRDI portal
Publication:4417849
zbMath1029.68096MaRDI QIDQ4417849
No author found.
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200023.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (27)
Proving Properties about Functions on Lists Involving Element Tests ⋮ Data Types with Symmetries and Polynomial Functors over Groupoids ⋮ Complexity bounds for container functors and comonads ⋮ Coherence for bicategorical cartesian closed structure ⋮ Formalizing semantic bidirectionalization and extensions with dependent types ⋮ Monotone recursive types and recursive data representations in Cedille ⋮ Unnamed Item ⋮ Monad transformers as monoid transformers ⋮ Compositional Game Theory, Compositionally ⋮ Unnamed Item ⋮ Characterizing functions mappable over GADTs ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Unnamed Item ⋮ A representation theorem for second-order functionals ⋮ Indexed containers ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Notions of computation as monoids ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ Differential structure, tangent structure, and SDG ⋮ Unnamed Item ⋮ Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory ⋮ Undecidability of equality for codata types ⋮ Continuous Functions on Final Coalgebras ⋮ Containers: Constructing strictly positive types ⋮ Constructive Membership Predicates as Index Types
This page was built for publication:
