2 blog reactions to lambda-the-ultimate.org/node/2426

Barker & Szabolcsi: New directions for proof theory in linguistics R6RS Validated Establishing Object Invariants with Delayed Types A functional correspondence between evaluators and abstract machines VamOz: Visual Abstract Machine for Oz

Barker & Szabolcsi: New directions for proof theory in linguistics  - 2007-aug-29 R6RS Validated  - 2007-aug-29 Establishing Object Invariants with Delayed Types  - 2007-aug-28 A functional correspondence between evaluators and abstract machines  - 2007-aug-25 VamOz: Visual Abstract Machine for Oz  - 2007-aug-25