Sciweavers

Share
LOGCOM
2016

An open logical framework

3 years 11 days ago
An open logical framework
The LFP Framework is an extension of the Harper-Honsell-Plotkin’s Edinburgh Logical Framework LF with external predicates, hence the name Open Logical Framework. This is accomplished by defining lock type constructors, which are a sort of -modality constructors, releasing their argument under the condition that a possibly external predicate is satisfied on an appropriate typed judgement.
Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luig
Added 07 Apr 2016
Updated 07 Apr 2016
Type Journal
Year 2016
Where LOGCOM
Authors Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
Comments (0)
books