Work

Substitution for Non-Wellfounded Syntax with Binders

Year: 2023

Type: preprint

Source: HAL

Authors: Matthes, Ralph, Wullaert, Kobe, Ahrens, Benedikt

Institutions: Centre National de la Recherche Scientifique, Institut de Recherche en Informatique de Toulouse, Delft University of Technology, University of Birmingham

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4385797438

Cites:

Cited by: 1

Related to: 10