L ax F: Side Conditions and External Evidence as Monads

DOI10.1007/978-3-662-44522-8_28zbMath1425.68071OpenAlexW401045978MaRDI QIDQ2922027

Furio Honsell, Luigi Liquori, Ivan Scagnetto

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_28

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

LF+ in Coq for "fast and loose" reasoning, Plugging-in proof development environments usingLocksinLF