Mathis Kretz  Home/Search
Context
Related
| iam.unibe.ch/~til/pub...diplomkretz.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iam.unibe.ch/~til/publications... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents Introduction 3 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Goals and scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 T+ 5 -calculus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2.1 Preterms and type expressions . . . . . . . . . . . . . . . . . . . . . 5 1.2.2 Free variables and substitutions . . . . . . .... (Update)
Active bibliography (related documents): More All
0.4: Theories With Self-Application and Computational Complexity - Strahm (2002) (Correct)
0.4: Constructive Foundations for Featherweight Java - Studer (2001) (Correct)
0.3: Realization of Constructive Set Theory into Explicit Mathematics: .. - Tupailo (2000) (Correct)
Similar documents based on text: More All
0.9: On the Proof Theory of Applicative Theories - Strahm (1996) (Correct)
0.8: Explicit mathematics: W-type, models - Studer (1997) (Correct)
0.8: Dependent Choice in Explicit Mathematics - Probst (1999) (Correct)
BibTeX entry: (Update)
@misc{ kretz-treatment,
author = "Mathis Kretz",
title = "On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics",
url = "citeseer.ist.psu.edu/kretz02treatment.html" }
Citations (may not include all citations):388 On understanding types (context) - Cardelli, Wegner - 1985
229 Foundations for Programming Languages (context) - Mitchell - 1996
139 Type systems for programming languages (context) - Mitchell - 1990
83 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
69 A language and axioms for explicit mathematics (context) - Feferman - 1975
63 Constructive theories of functions and classes (context) - Feferman - 1979
49 Systems of explicit mathematics with non-constructive -opera.. - Feferman, Jager - 1993
43 Logics for termination and correctness of functional program.. (context) - Feferman - 1992
27 Polymorphic typed lambda-calculi in a type-free axiomatic fr.. (context) - Feferman - 1990
20 dialectica (context) - Avigad, Feferman - 1998
13 Institut fur Informatik und angewandte Mathematik (context) - Marzetta, of et al. - 1993
3 Object-Oriented Programming in Explicit Mathematics: Towards.. - Studer - 2001
3 Induction in the elementary theory of types and names (context) - Jager - 1988
1 Totality in applicative theories (context) - Jager, Strahm - 1995
Documents on the same site (http://www.iam.unibe.ch/~til/publications/): More
Systems of explicit mathematics with non-constructive.. - Feferman, Jäger (1993) (Correct)
Relations Between Propositional Normal Modal Logics: An Overview - Goré, al. (1995) (Correct)
LWBtheory: information about some propositional logics via the WWW - Heuerding (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC