3468 search results - page 466 / 694 » An open logical framework |
124
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
134
Voted
IJDAR
2006
15 years 4 months ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
132
Voted
JSYML
2007
15 years 3 months ago
2007
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
120
click to vote
CGF
2004
15 years 3 months ago
2004
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
155
Voted
IAJIT
2010
15 years 2 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...