Work

The Mathematical Foundation of the Proof Assistant Sparkle

Year: 2007

Type: article

Authors: Maarten de Mol, M.C.J.D. van Eekelen, Rinus Plasmeijer

Institution: Radboud University Nijmegen

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1484569848

FWCI: 2.459

Cites: 3

Cited by: 5

Related to: 10