OpenAlex | Andre Scedrov

Andre Scedrov

Author

Alternate names Andrej S̆čedrov, Andrej Ščedrov, A. Scedrov, A. Scedrovy, Andre Scedrov +3 more

Institutions California University of Pennsylvania, University College London, Steklov Mathematical Institute, National Research University Higher School of Economics

Past institutions University of Pennsylvania, Philadelphia University, National Research University Higher School of Economics, California University of Pennsylvania, University College London +5 more

ORCID: Yes

H-index: 39

I10-index: 114

Works count: 234

Citations count: 6,079

Uniform proofs as a foundation for logic programming

1991 · Dale Miller, Gopalan Nadathur, et al. · Annals of Pure and Applied Logic

A meta-notation for protocol analysis

2003 · Iliano Cervesato, Nancy Durgin, et al.

Bounded linear logic: a modular approach to polynomial-time computability

1992 · Jean-Yves Girard, Andre Scedrov, et al. · Theoretical Computer Science