A coinductive approach to proof search through typed lambda-calculi

From MaRDI portal
Publication:2231698

DOI10.1016/J.APAL.2021.103026OpenAlexW2491817307MaRDI QIDQ2231698

Ralph Matthes, José Espírito Santo, Luís Pinto

Publication date: 30 September 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.04382





Uses Software



Cites Work




This page was built for publication: A coinductive approach to proof search through typed lambda-calculi