Search results

Encoding for Arrays

Status: Open.

#12 In ambientsprotocol/research-ambients;

· haadcode opened on Nov 3, 2019

John Backus's Turing Award Lecture

Status: Open.

#11 In ambientsprotocol/research-ambients;

· gyuri-lajos opened on Sep 6, 2019

Operations on Ambients

Status: Open.

#10 In ambientsprotocol/research-ambients;

· nud3l opened on Jul 30, 2019

Include security assumptions for Ambients

Status: Open.

#9 In ambientsprotocol/research-ambients;

· nud3l opened on Jul 30, 2019

Add links to implementations

Status: Open.

#6 In ambientsprotocol/research-ambients;

· haadcode opened on Jul 2, 2019

Add a short ambient calculus introduction

Status: Open.

#3 In ambientsprotocol/research-ambients;

· haadcode opened on Jun 4, 2019

Add links to pdf downloads in the list of papers

Status: Open.

#2 In ambientsprotocol/research-ambients;

· haadcode opened on Jun 4, 2019