Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Schubert, Aleksy"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Existential type systems between Church and Curry style (type-free style)
Ken-etsu Fujita
,
Aleksy Schubert
Theoretical Computer Science
549
, 2014, pp. 17-35
A note on subject reduction in
(\rightarrow,\exists)
-Curry with respect to complete developments
Aleksy Schubert
,
Ken-etsu Fujita
Information Processing Letters
114
(1-2), 2014, pp. 72-75
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types
Ken-etsu Fujita
,
Aleksy Schubert
Information and Computation
218
, 2012, pp. 69-87
The role of polymorphism in the characterisation of complexity by soft types
Jacek Chrza̧szcz
,
Aleksy Schubert
Lecture Notes in Computer Science
6907
, 2011, pp. 219-230
Partially typed terms between Church-style and Curry-style
Ken-Etsu Fujita
,
Aleksy Schubert
Lecture Notes in Computer Science
1872
, 2000, pp. 505-520