FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES

Abadi, Martin ; Pierce, Benjamin ; Plotkin, Gordon

Texto completo disponível

A Per Model of Polymorphism and Recursive Types

Abadi, Martin ; Plotkin, Gordon

Texto completo disponível

A Logical View of Composition

Abadi, Martin ; Plotkin, Gordon

Texto completo disponível

Grec 2315

ABGARUS, Edessenus rex. Auteur du texte ; ATHANASIUS Alexandrinus (S.). Auteur du texte ; AUGUSTINUS (S.). Auteur du texte ; AUTOLYCUS. Auteur du texte ; BASILIUS Cæsariensis (S.). Auteur du texte ; DIONYSIUS Areopagita (S.). Auteur du texte ; DIOSCORIDES. Auteur du texte ; GALENUS. Auteur du texte ; GREGORIUS Nazianzenus (S.). Auteur du texte ; HIPPOCRATES. Auteur du texte ; JOANNES Antiochenus archiater. Auteur du texte ; JOANNES Damascenus (S.). Auteur du texte ; MAXIMUS (S.). Auteur du texte ; MELETIUS monachus. Auteur du texte ; MERCURIUS monachus. Auteur du texte ; NEOPHYTUS, Grebenus episcopus. Auteur du texte ; NICEPHORUS Blemmides. Auteur du texte ; NICEPHORUS, CP. patriarcha. Auteur du texte ; NICOLAUS Myrepsus. Auteur du texte ; PAULUS Ægineta. Auteur du texte

1401

Texto completo disponível

Grec 2511

ACHMET. Auteur du texte ; ÆSOPUS. Auteur du texte ; ANDRONICUS Palæologus imper. Auteur du texte ; ARISTOTELES. Auteur du texte ; BASILIUS Cæsariensis (S.). Auteur du texte ; CODINUS (Georgius). Auteur du texte ; EUSEBIUS Cæsariensis. Auteur du texte ; GEORGIUS Codinus. Auteur du texte ; GEORGIUS Pachymeres. Auteur du texte ; GREGORIUS Neocæsariensis Thaumaturgus (S.). Auteur du texte ; ISAACUS Argyrus. Auteur du texte ; LIBANIUS sophista. Auteur du texte ; MAXIMUS (S.). Auteur du texte ; MAXIMUS Planudes. Auteur du texte ; NEOPHYTUS, monachus Prodromenus. Auteur du texte ; NICEPHORUS, CP. patriarcha. Auteur du texte ; PALLADIUS. Auteur du texte ; PHALARIS. Auteur du texte ; PORPHYRIUS. Auteur du texte ; SALOMON. Auteur du texte ; SYNESIUS Cyrenæus. Auteur du texte ; THEMISTIUS. Auteur du texte ; VALERICUS. Auteur du texte

1401

Texto completo disponível

Grec 2107

ACINDYNI et Barlaami. Auteur du texte ; EUCLIDES. Auteur du texte ; GEORGIUS Chrysococces. Auteur du texte ; ISAACUS Argyrus. Auteur du texte ; NICOMACHUS Gerasenus. Auteur du texte

1350

Texto completo disponível

Grec 1630

ÆLIANUS. Auteur du texte ; ALEXANDER Aphrodisiensis. Auteur du texte ; ANASTASIUS Sinaïta (S.). Auteur du texte ; ANDOCIDES. Auteur du texte ; ANDREAS Cretensis (S.). Auteur du texte ; ΑNDROΜACHUS. Auteur du texte ; APOLLINARIUS. Auteur du texte ; ARISTOPHANES grammaticus Byzantinus. Auteur du texte ; BARDALAS (Leo), protosecretarius. Auteur du texte ; BASILIUS Cæsariensis (S.). Auteur du texte ; BASILIUS, hegumenus lauræ Maleini. Auteur du texte ; BASILIUS Megalomites. Auteur du texte ; CATO (Dionysius). Auteur du texte ; DEMOCRITUS. Auteur du texte ; DEMOSTHENES. Auteur du texte ; DIADOCHUS, Photices episcopus. Auteur du texte ; EMPEDOCLES. Auteur du texte ; EPIPHANIUS (S.), Cypri episcopus. Auteur du texte ; GALENUS. Auteur du texte ; GEORGIUS Pisides. Auteur du texte ; GREGORIUS Neocæsariensis Thaumaturgus (S.). Auteur du texte ; GREGORIUS Nyssenus (S.). Auteur du texte ; HERACLITUS. Auteur du texte ; HERACLIUS imp. Auteur du texte ; HERODIANUS. Auteur du texte ; HERODOTUS Halicarnasseus. Auteur du texte ; HESIODUS. Auteur du texte ; HESYCHIUS, Hierosolymitanus presbyter. Auteur du texte ; HIPPOCRATES. Auteur du texte ; HOMERUS. Auteur du texte ; IGNATIUS, diaconus magnæ ecclesiæ CP. Auteur du texte ; JOANNES Geometra. Auteur du texte ; JOANNES Malalas Antiochenus. Auteur du texte ; JOSEPHUS (Flavius). Auteur du texte ; JULIUS Pollux. Auteur du texte ; JUSTINIANUS imp. Auteur du texte ; LEO Bardalas protosecretarius. Auteur du texte ; LUCIANUS Samosatensis. Auteur du texte ; LYDUS (Joannes Laurentius). Auteur du texte ; MACARIUS Magnes iatrosophista. Auteur du texte ; MANUEL Phile. Auteur du texte ; MAXIMUS (S.). Auteur du texte ; MAXIMUS Planudes. Auteur du texte ; MEGALOMITES (Basilius). Auteur du texte ; MENANDER iatrosophista. Auteur du texte ; MŒRIS Atticista. Auteur du texte ; NICEPHORUS Xanthopulus. Auteur du texte ; NICOSTRATES. Auteur du texte ; NILUS monachus. Auteur du texte ; ORPHEUS. Auteur du texte ; PHILO Judæus. Auteur du texte ; PHILOSTRATUS. Auteur du texte ; PHILOTHEUS monachus. Auteur du texte ; PHOCYLIDES. Auteur du texte ; PLUTARCHUS Chæronensis. Auteur du texte ; PORPHYRIUS. Auteur du texte ; PROCLUS Diadochus, Lycius, Platonicus. Auteur du texte ; PSELLUS (Michael). Auteur du texte ; PYTHAGORAS. Auteur du texte ; SECUNDUS philosophus. Auteur du texte ; SIMPLICIUS. Auteur du texte ; SOPHOCLES. Auteur du texte ; SUIDAS Lexicon. Auteur du texte ; SYMEON. Auteur du texte ; SYNESIUS Cyrenæus. Auteur du texte ; THEODORUS Prodromus. Auteur du texte ; THEOPHANES Nonnus, medicus. Auteur du texte ; THEOPHILUS protospatharius, iatrosophista. Auteur du texte ; THEOPHYLACTUS, Bulgariæ archiepiscopus. Auteur du texte ; THEOPHYLACTUS Simocatta. Auteur du texte ; XENOPHON. Auteur du texte

1301

Texto completo disponível

Supplément grec 678

ÆSCHINES. Auteur du texte ; BASILIUS Cæsariensis (S.). Auteur du texte ; HELIAS philosophus. Auteur du texte ; HERMES Trismegistus. Auteur du texte ; JOANNES Eugenicus. Auteur du texte ; MYNAS (Minoïde). Auteur du texte

Texto completo disponível

Grec 1310

ÆSOPUS. Auteur du texte ; ARISTOTELES. Auteur du texte ; BASILIUS Cæsariensis (S.). Auteur du texte ; CONSTANTINUS Magnus imp. Auteur du texte ; DEMETRIUS Cydonius. Auteur du texte ; DIONYSIUS Alexandrinus, Periegetes. Auteur du texte ; DIONYSIUS Areopagita (S.). Auteur du texte ; DUCAS (Michael). Auteur du texte ; EMPEDOCLES. Auteur du texte ; GALENUS. Auteur du texte ; GEORGIUS Chrysococces. Auteur du texte ; GREGORIUS Cyprius, CP. patriarcha. Auteur du texte ; GREGORIUS Nazianzenus (S.). Auteur du texte ; HESIODUS. Auteur du texte ; HOMERUS. Auteur du texte ; ISAACUS Argyrus. Auteur du texte ; JOANNES Chrysostomus (S.). Auteur du texte ; JOANNES Xiphilinus. Auteur du texte ; JULIANUS imperator. Auteur du texte ; LUCIANUS Samosatensis. Auteur du texte ; MARCUS Eugenicus, Ephesinus metropolita. Auteur du texte ; MAXIMUS (S.). Auteur du texte ; MICHAEL Ducas. Auteur du texte ; NICEPHORUS Patricius. Auteur du texte ; NICETAS Nicænus chartophylax. Auteur du texte ; Paradisi (De quatuor fluviis). Auteur du texte ; PAULUS Silentiarius. Auteur du texte ; PROCOPIUS Cæsariensis. Auteur du texte ; PSELLUS (Michael). Auteur du texte ; THEODORUS Prodromus. Auteur du texte ; TZETZES (Isaacus). Auteur du texte ; TZETZES (Joannes). Auteur du texte ; XIPHILINUS (Joannes). Auteur du texte ; ZONARAS (Joannes). Auteur du texte

1401

Texto completo disponível

Grec 1310

ÆSOPUS. Auteur du texte ; ARISTOTELES. Auteur du texte ; BASILIUS Cæsariensis (S.). Auteur du texte ; CONSTANTINUS Magnus imp. Auteur du texte ; DEMETRIUS Cydonius. Auteur du texte ; DIONYSIUS Alexandrinus, Periegetes. Auteur du texte ; DIONYSIUS Areopagita (S.). Auteur du texte ; DUCAS (Michael). Auteur du texte ; EMPEDOCLES. Auteur du texte ; GALENUS. Auteur du texte ; GEORGIUS Chrysococces. Auteur du texte ; GREGORIUS Cyprius, CP. patriarcha. Auteur du texte ; GREGORIUS Nazianzenus (S.). Auteur du texte ; HESIODUS. Auteur du texte ; HOMERUS. Auteur du texte ; ISAACUS Argyrus. Auteur du texte ; JOANNES Chrysostomus (S.). Auteur du texte ; JOANNES Xiphilinus. Auteur du texte ; JULIANUS imperator. Auteur du texte ; LUCIANUS Samosatensis. Auteur du texte ; MARCUS Eugenicus, Ephesinus metropolita. Auteur du texte ; MAXIMUS (S.). Auteur du texte ; MICHAEL Ducas. Auteur du texte ; NICEPHORUS Patricius. Auteur du texte ; NICETAS Nicænus chartophylax. Auteur du texte ; Paradisi (De quatuor fluviis). Auteur du texte ; PAULUS Silentiarius. Auteur du texte ; PROCOPIUS Cæsariensis. Auteur du texte ; PSELLUS (Michael). Auteur du texte ; THEODORUS Prodromus. Auteur du texte ; TZETZES (Isaacus). Auteur du texte ; TZETZES (Joannes). Auteur du texte ; XIPHILINUS (Joannes). Auteur du texte ; ZONARAS (Joannes). Auteur du texte

1401

Texto completo disponível