A coinductive approach to proof search through typed lambda-calculi

Annals of Pure and Applied Logic

Journal Article

R. Matthes

L. Pinto

Publication

Year of publication: 2021

Volume: 172

Issue: 10

Identifiers

ISSN: 01680072

Other: 2-s2.0-85111709939

Locators

Alternative Titles