Loading...
Please wait, while we are loading the content...
Similar Documents
A context semantics for interaction nets
| Content Provider | Semantic Scholar |
|---|---|
| Author | Perrinel, Matthieu |
| Copyright Year | 2014 |
| Abstract | Context semantics is a tool inspired by Girard’ s geometry of interaction. It has had many applications from study of optimal reduction to proofs of complexity bounds. Yet, context semantics have been defined only on λ-calculus and linear logic. In order to study other languages, in particular languages with more primitives (built-in arithmetics, pattern matching,...) we define a context semantics for a broader framework: interaction nets. These are a well-behaved class of graph rewriting systems. It could be used to prove strong complexity bounds for functional languages. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://dice14.tcs.ifi.lmu.de/abstracts/Perrinel.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |