scientific article; zbMATH DE number 2061699
From MaRDI portal
Publication:4457445
zbMath1039.68078MaRDI QIDQ4457445
No author found.
Publication date: 22 March 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2701/27010016.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Traces, Executions and Schedulers, Coalgebraically ⋮ The differential lambda-calculus ⋮ Data Types with Symmetries and Polynomial Functors over Groupoids ⋮ Unnamed Item ⋮ A static simulation of dynamic delimited control ⋮ Differential structure, tangent structure, and SDG ⋮ Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory ⋮ Types as graphs: Continuations in type logical grammar ⋮ Containers: Constructing strictly positive types
This page was built for publication:
