137 search results - page 28 / 28 » Relations, Objects, and the Composition of Analogies |
122
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
114
Voted
JFP
2007
14 years 11 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...