DTIC ADA295650: Proof Theoretic Concepts for the pdf

DTIC ADA295650: Proof Theoretic Concepts for the

More Book Details

Description of the Book:

This is a collection of five papers that concern applications of ideas from proof theory to problems in the semantics of types and concurrency. They are: Inheritance as implicit coercions, Computing with coercions, Nets as tensor theories (preliminary report), Normal process representatives and Reference counting as a computational interpretation of linear logic

• Creator/s: Defense Technical Information Center
• Date: 4/1/1995
• Year: 1995
• Book Topics/Themes: DTIC Archive, Gunter, Carl, PENNSYLVANIA UNIV PHILADELPHIA DEPT OFCOMPUTER AND INFORMATION SCIENCE, *PROGRAMMING LANGUAGES, *SEMANTICS, *CONCURRENT ENGINEERING, ALGORITHMS, NEURAL NETS, REASONING, COMPUTER LOGIC, COMPUTER PROGRAMMING, MATHEMATICAL LOGIC, COUNTING METHODS, CONTROL THEORY, COMPUTER PROGRAM VERIFICATION, TRANSLATORS, FIELDS(COMPUTER PROGRAMS

An excerpt captured from the PDF book