1948 search results - page 86 / 390 » Formalizing Mirror Theory |
148
click to vote
ECAI
1992
Springer
15 years 9 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
180
click to vote
TPHOL
2009
IEEE
16 years 23 hour ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
154
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
128
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
182
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...