Work

Undecidability of higher-order unification formalised in Coq

Year: 2020

Type: conference-paper

Source: ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

DOI: 10.1145/3372885.3373832

Authors: Simon Spies, Yannick Forster

Institution: Saarland University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3003294284

FWCI: 1.476

Cites: 42

Cited by: 12

Related to: 10