28 Pages
English

An overview of Structural Proof Theory and Computing

-

Gain access to the library to view online
Learn more

Description

Niveau: Supérieur
An overview of Structural Proof Theory and Computing Dale Miller INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France Madison, Wisconsin, 2 April 2012 Part of the Special Session in Structural Proof Theory and Computing 2012 ASL annual meeting

  • dale miller

  • proof normalization

  • modal logics

  • functional programming

  • proof complexity

  • itu copenhagen

  • structural proof

  • computation

  • sequent calculus


Subjects

Informations

Published by
Reads 14
Language English
AnoverviewofStructuralProofTheoryandComputingDaleMillerINRIA-Saclay&LIX,E´colePolytechniquePalaiseau,FranceMadison,Wisconsin,2April2012PartoftheSpecialSessioninStructuralProofTheoryandComputing2012ASLannualmeeting
OutlineSettingtehegatsOverviewofsequentFocusedfoorpcalculussystems
)