Select author: all Bodirsky, ManuelBotlan, DidierBrown, ChadBrunklaus, ThorstenDebusmann, RalphDoczkal, ChristianDuchier, DenysErk, KatrinHenz, MartinKaminski, MarkKornstaedt, LeifKuhlmann, MarcoMehl, MichaelMöhl, MathiasMüller, MartinMüller, TobiasNiehren, JoachimPriesnitz, TimRossberg, AndreasScheidhauer, RalfSchulte, ChristianSchwinghammer, JanSmolka, GertStraßburger, LutzTack, GuidoTreinen, RalfWalser, JoachimWürtz, Jörg
Glivenko and Kuroda for Simple Type Theory (pdf) Chad E. Brown, Christine Rizkallah Technical Report
Login to edit