A Cellular Howe Theorem

DOI10.1145/3373718.3394738OpenAlexW3029105310MaRDI QIDQ5145639

Ambroise Lafont, Peio Borthelle, Tom Hirschowitz

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373718.3394738

zbMATH Keywords

operational semanticscategory theorycongruencebisimilarityHowe's method

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (4)

A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ Variable binding and substitution for (nameless) dummies ⋮ Variable binding and substitution for (nameless) dummies ⋮ Unnamed Item

This page was built for publication: A Cellular Howe Theorem