Hard Life with Weak Binders (Q5170666): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.06.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2086215097
@@ Property / OpenAlex ID: W2086215097 / rank @@
+Normal rank
@@ Property / cites work @@
+Types and Effects for Resource Usage Analysis
@@ Property / cites work: Types and Effects for Resource Usage Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Hard Life with Weak Binders
@@ Property / cites work: Hard Life with Weak Binders / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Names of the \(\pi\)-calculus agents handled locally
+Normal rank
@@ Property / cites work @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+Normal rank
@@ Property / cites work @@
+Closed reduction: explicit substitutions without                       $\alpha$                   -conversion
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q4664925
@@ Property / cites work: Q4664925 / rank @@
+Normal rank
@@ Property / cites work @@
+Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222939
@@ Property / cites work: Q4222939 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Proof Pearl: De Bruijn Terms Really Do Work
@@ Property / cites work: Proof Pearl: De Bruijn Terms Really Do Work / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+On a monadic semantics for freshness
@@ Property / cites work: On a monadic semantics for freshness / rank @@
+Normal rank
@@ Property / cites work @@
+FreshML
@@ Property / cites work: FreshML / rank @@
+Normal rank