# publicbmeurer/benediktmeurer.de

### Subversion checkout URL

You can clone with HTTPS or Subversion.

Import "A step-indexed Semantic Model of..." post.

commit 053b64363238e58c57d633b9db497b55155f97f7 1 parent ed11aef
authored
9 _posts/2011-05-10-a-step-indexed-semantic-model-of-types-for-the-call-by-name-lambda-calculus.markdown
 ... ... @@ -0,0 +1,9 @@ 1 +--- 2 +layout: post 3 +title: A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus 4 +tags: [semantics, types, lambda calculus, step-indexing] 5 +--- 6 + 7 +Step-indexed semantic models of types were proposed as an alternative to purely syntactic safety proofs using subject-reduction. Building upon the work by Appel and others, we introduce a generalized step-indexed model for the call-by-name lambda calculus. We also show how to prove type safety of general recursion in our call-by-name model. 8 + 9 +[http://arxiv.org/abs/1105.1985](http://arxiv.org/abs/1105.1985)
164 tag/lambda calculus/index.html
 ... ... @@ -0,0 +1,164 @@ 1 + 2 + 3 + 4 + 17 + 18 + 19 + Benedikt Meurer » Lambda calculus 20 + 21 + 22 + 23 + 24 + 25 + 26 + 27 + 28 + 29 + 30 + 31 + 32 + 33 + 34 + 35 + 36 + 37 + 38 + 39 + 40 + 41 + 42 + 43 + 44 + 45 + 46 + 47 + 48 + 49 + 50 + 51 + 52 + 53 + 54 + 55 + 56 + 59 + 60 + 61 + 62 + 63 +
64 +
65 +

Benedikt Meurer

66 +

Software Developer, Research Associate

67 +
68 + 69 +
70 +
71 + 98 +
99 + 100 + 131 + 132 + 133 +
134 +
135 +
136 +
137 +
138 +
139 +
140 +
•
• 141 +
142 +
143 + 144 + 145 +
146 + 147 +
148 + 161 + 162 + 163 + 164 +
164 tag/semantics/index.html
 ... ... @@ -0,0 +1,164 @@ 1 + 2 + 3 + 4 + 17 + 18 + 19 + Benedikt Meurer » Semantics 20 + 21 + 22 + 23 + 24 + 25 + 26 + 27 + 28 + 29 + 30 + 31 + 32 + 33 + 34 + 35 + 36 + 37 + 38 + 39 + 40 + 41 + 42 + 43 + 44 + 45 + 46 + 47 + 48 + 49 + 50 + 51 + 52 + 53 + 54 + 55 + 56 + 59 + 60 + 61 + 62 + 63 +
64 +
65 +

Benedikt Meurer

66 +

Software Developer, Research Associate

67 +
68 + 69 +
70 +
71 + 98 +
99 + 100 + 131 + 132 + 133 +
134 +
135 +
136 +
137 +
138 +
139 +
140 +
•
• 141 +
142 +
143 + 144 + 145 +
146 + 147 +
148 + 161 + 162 + 163 + 164 +
164 tag/step-indexing/index.html
 ... ... @@ -0,0 +1,164 @@ 1 + 2 + 3 + 4 + 17 + 18 + 19 + Benedikt Meurer » Step-indexing 20 + 21 + 22 + 23 + 24 + 25 + 26 + 27 + 28 + 29 + 30 + 31 + 32 + 33 + 34 + 35 + 36 + 37 + 38 + 39 + 40 + 41 + 42 + 43 + 44 + 45 + 46 + 47 + 48 + 49 + 50 + 51 + 52 + 53 + 54 + 55 + 56 + 59 + 60 + 61 + 62 + 63 +
64 +
65 +

Benedikt Meurer

66 +

Software Developer, Research Associate

67 +
68 + 69 +
70 +
71 + 98 +
99 + 100 + 131 + 132 + 133 +
134 +
135 +
136 +
137 +
138 +
139 +
140 +
•
• 141 +
142 +
143 + 144 + 145 +
146 + 147 +
148 + 161 + 162 + 163 + 164 +
164 tag/types/index.html
 ... ... @@ -0,0 +1,164 @@ 1 + 2 + 3 + 4 + 17 + 18 + 19 + Benedikt Meurer » Types 20 + 21 + 22 + 23 + 24 + 25 + 26 + 27 + 28 + 29 + 30 + 31 + 32 + 33 + 34 + 35 + 36 + 37 + 38 + 39 + 40 + 41 + 42 + 43 + 44 + 45 + 46 + 47 + 48 + 49 + 50 + 51 + 52 + 53 + 54 + 55 + 56 + 59 + 60 + 61 + 62 + 63 +
64 +
65 +

Benedikt Meurer

66 +

Software Developer, Research Associate

67 +
68 + 69 +
70 +
71 + 98 +
99 + 100 + 131 + 132 + 133 +
134 +
135 +
136 +
137 +
138 +
139 +
140 +
•
• 141 +
142 +
143 + 144 + 145 +
146 + 147 +
148 + 161 + 162 + 163 + 164 +