A Summary of TLA Leslie Lamport 25 Aug 2000 Module-Level Constructs module M Begins the module or submodule named M . - TLA - Document - PDFSEARCH.IO

First Page	Meta Content
	A Summary of TLA+ Leslie Lamport 25 Aug 2000 Module-Level Constructs module M Begins the module or submodule named M . Add to Reading List Document Date: 2000-08-25 18:14:00 Open Document File Size: 116,65 KB Share Result on Facebook Facility The terminal / / Person Leslie Lamport / Nat / / Technology ASCII / / SocialTag Functions and mappings Algebraic analysis D-module Sheaf theory Summation Function Algebraic number field Vector space Mathematics Algebra

A Summary of TLA+ Leslie Lamport 25 Aug 2000 Module-Level Constructs module M Begins the module or submodule named M .Add to Reading List