88 citations
- University of TartuEE5 papers
- Tallinn University of TechnologyEE3 papers
- Institute of Applied Science and Intelligent SystemsIT2 papers
- Einstein Center Digital FutureDE1 paper
- Einstein Center for Neurosciences BerlinDE1 paper
- Institute of Applied PhysicsMD1 paper
- Khalifa University of Science and TechnologyAE1 paper
- Queensland University of TechnologyAU1 paper
- Technische Universität BerlinDE1 paper
- University of BirminghamGB1 paper
- University of BristolGB1 paper
- University of GothenburgSE1 paper
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 3 cited
Coherence for Skew-Monoidal Categories
Tarmo Uustalu
I motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, on…
cs.LO2014★ 21 cited
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
Andreas Abel, James Chapman
In this paper, we present an Agda formalization of a normalizer for simply-typed lambda terms. The normalizer consists of two coinductively defined functions in the delay monad: On…