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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Sco. Press

081862230x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 1

Author(s):

N.P. Mendler

Keyword(s):

Primitive Recursion

Download Full-text

Partial objects in the calculus of constructions

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

10.1109/lics.1991.151633 ◽

2002 ◽

Cited By ~ 3

Author(s):

P. Audebaud

Keyword(s):

Calculus Of Constructions

Download Full-text

Linearizing intuitionistic implication

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

10.1109/lics.1991.151630 ◽

2002 ◽

Cited By ~ 9

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 ◽

Cited By ~ 17

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 ◽

Cited By ~ 51

Author(s):

U. Berger ◽

H. Schwichtenberg

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

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):

Second Order

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 ◽

Cited By ~ 39

Author(s):

T. Fruhwirth ◽

E. Shapiro ◽

M.Y. Vardi ◽

E. Yardeni

Keyword(s):

Logic Programs

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 21

Author(s):

R. Cleaveland ◽

A.E. Zwarico

Keyword(s):

Real Time

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Sco. Press

Equational programming in lambda -calculus

Predictive type universes and primitive recursion

Partial objects in the calculus of constructions

Linearizing intuitionistic implication

A foundational delineation of computational feasibility

An inverse of the evaluation functional for typed lambda -calculus

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

Logic programs as types for logic programs

Term declaration logic and generalised composita

A theory of testing for real-time

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