Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Schubert, Aleksy - Instytut Informatyki, Uniwersytet Warszawski
EXISTENTIAL TYPE SYSTEMS BETWEEN CHURCH AND CURRY STYLE
Institute of Informatics, Warsaw University The EML Kit
A Note on Observational Equivalence in the Simply Typed -calculus
The complexity of -reduction in low orders Aleksy Schubert
1 Introduction 1 2 Preliminaries 3
Verifying an implementation of SSH and Aleksy Schubert1,2
A self-dependency constraint in the simply typed lambda calculus
Institute of Informatics, Warsaw University Linear interpolation for the higher order
