LISP and Symbolic Computation,volume 15,issue 1  (03-2007)

Period of time： 2007年1期

Publisher： Springer Publishing Company

Founded in： 1988

Total resources： 33

ISSN： 1388-3690

Subject： TP Automation Technology , Computer Technology

Favorite

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

LISP and Symbolic Computation,volume 15,issue 1

Menu

Editorial

By Danvy O. in (2002)

LISP and Symbolic Computation,volume 15,issue 1 , Vol. 15, Iss. 1, 2002-03 , pp. 5-5

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Formalization and Analysis of Class Loading in Java

By Tozawa A. in (2002)

LISP and Symbolic Computation,volume 15,issue 1 , Vol. 15, Iss. 1, 2002-03 , pp. 7-55

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions

By Coquand C. in (2002)

LISP and Symbolic Computation,volume 15,issue 1 , Vol. 15, Iss. 1, 2002-03 , pp. 57-90

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Dependent Types for Program Termination Verification

By Xi H. in (2002)

LISP and Symbolic Computation,volume 15,issue 1 , Vol. 15, Iss. 1, 2002-03 , pp. 91-131

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)