Algorithmic thermodynamics von BAEZ, JOHN, STAY, MIKE

Volltext

Bicategorical Semantics for Nondeterministic Computation von Stay, Mike, Vicary, Jamie

Volltext

Improved Cryptanalysis of Rijndael von Ferguson, Niels, Kelsey, John, Lucks, Stefan, Schneier, Bruce, Stay, Mike, Wagner, David, Whiting, Doug

Volltext

Logic as a distributive law von Stay, Mike, Meredith, Lucius Gregory

Volltext bestellen

Higher category models of the pi-calculus von Stay, Mike, Meredith, Lucius Gregory

Volltext bestellen

Bicategorical Semantics for Nondeterministic Computation von Stay, Mike, Vicary, Jamie

Volltext bestellen

Logic as a distributive law von Stay, Mike, Lucius Gregory Meredith

Volltext

Higher category models of the pi-calculus von Stay, Mike, Lucius Gregory Meredith

Volltext

Policy as Types von Meredith, Lucius G, Stay, Mike, Drossopoulou, Sophia

Volltext bestellen

Bicategorical Semantics for Nondeterministic Computation von Stay, Mike, Vicary, Jamie

Volltext

Algorithmic Thermodynamics von Baez, John C, Stay, Mike

Volltext bestellen

Physics, Topology, Logic and Computation: A Rosetta Stone von Baez, John C, Stay, Mike

Volltext

Algorithmic Thermodynamics von Baez, John C, Stay, Mike

Volltext

Policy as Types von Meredith, Lucius G, Stay, Mike, Drossopoulou, Sophia

Volltext