[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

17

(FIVE YEARS 0)

Published By IEEE Comput. Sco. Press

081862230x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial objects in the calculus of constructions

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151633 ◽

2002 ◽

Author(s):

P. Audebaud

Keyword(s):

Calculus Of Constructions

Download Full-text

Equational programming in lambda -calculus

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151644 ◽

2002 ◽

Author(s):

E. Tronci

Keyword(s):

Lambda Calculus

Download Full-text

Predictive type universes and primitive recursion

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151642 ◽

2002 ◽

Author(s):

N.P. Mendler

Keyword(s):

Primitive Recursion

Download Full-text

On the 0-1 law for the class of existential second order minimal Godel sentences with equality

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151652 ◽

2002 ◽

Author(s):

L. Pacholski ◽

W. Szwast

Keyword(s):

Download Full-text

Linearizing intuitionistic implication

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151630 ◽

2002 ◽

Author(s):

P. Lincoln ◽

A. Scedrov ◽

N. Shankar

Download Full-text

A foundational delineation of computational feasibility

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151625 ◽

2002 ◽

Author(s):

D. Leviant

Download Full-text

An inverse of the evaluation functional for typed lambda -calculus

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151645 ◽

2002 ◽

Author(s):

U. Berger ◽

H. Schwichtenberg

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

Logic programs as types for logic programs

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151654 ◽

2002 ◽

Author(s):

T. Fruhwirth ◽

E. Shapiro ◽

M.Y. Vardi ◽

E. Yardeni

Keyword(s):

Download Full-text

Term declaration logic and generalised composita

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151627 ◽

2002 ◽

Author(s):

P. Aczel

Download Full-text

A theory of testing for real-time

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151635 ◽

2002 ◽

Author(s):

R. Cleaveland ◽

A.E. Zwarico

Keyword(s):

Download Full-text