Search Results

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus

by Xi, Hongwei, Ren, Zhiqiang, Wu, Hanwen, Blair, William
Published 2016

Proceedings First International Workshop on Process Algebra and Coordination

by Aceto, Luca, Mousavi, Mohammad Reza
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Symbolic Analysis of Maude Theories with Narval

by Alpuente, María, Ballis, Demis, Escobar, Santiago, Sapiña, Julia
Published 2019

Semi-Automation of Meta-Theoretic Proofs in Beluga

by Schwartzentruber, Johanna, Pientka, Brigitte
Published in Electronic Proceedings in Theoretical Computer Science (2023)

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

by Wonnacott, David G., Osera, Peter-Michael
Published 2019

The Weak Call-By-Value {\lambda}-Calculus is Reasonable for Both Time and Space

by Forster, Yannick, Kunze, Fabian, Roth, Marc
Published in Proceedings of the ACM on Programming Languages (2019)

A Type Checker for a Logical Framework with Union and Intersection Types

by Liquori, Luigi, Stolze, Claude
Published 2020

Building the access pointers to a computation environment

by Wolfengagen, Viacheslav
Published 2001