Decalf: A Directed, Effectful Cost-Aware Logical Framework

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling

Journal title: (Under Review)

Journal publisher: arXiv

Published year: 2023

DOI identifier: 10.48550/arXiv.2307.05938

ISSN: 2331-8422