A Linear Logical Framework

Author： Cervesato I.   Pfenning F.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.179, Iss.1, 2002-11, pp. : 19-75

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Route generation and description using a logical and an analogical framework

By Moulin Bernard  

Annals of Mathematics and Artificial Intelligence, Vol. 24, Iss. 1-4, 1998-02 ,pp. : 155-179

Springer Publishing Company

Access to resources Recommend Favorite

Combinatorial and Logical Aspects of Linear Groups and Chevalley Groups

By Bunina E.  

Acta Applicandae Mathematicae, Vol. 85, Iss. 1-3, 2005-01 ,pp. : 57-74

Springer Publishing Company

Access to resources Recommend Favorite

A framework for mathematical thinking: the case of linear algebra

By Stewart Sepideh   Thomas Michael  

International Journal of Mathematical Education in Science and Technology, Vol. 40, Iss. 7, 2009-01 ,pp. : 951-961

Taylor & Francis Ltd

Access to resources Recommend Favorite

A simple framework to justify linear response theory

By Hairer Martin   Majda Andrew J  

Nonlinearity, Vol. 23, Iss. 4, 2010-04 ,pp. : 909-922

IOP Publishing

Access to resources Recommend Favorite

Molecular Heterojunctions of Oligo(phenylene ethynylene)s with Linear to Cruciform Framework

By  

ADVANCED FUNCTIONAL MATERIALS, Vol. 25, Iss. 11, 2015-03 ,pp. : 1700-1708

John Wiley & Sons Inc

Access to resources Recommend Favorite