go to start Marco Syfrig
|home |print view |recent changes |changed December 22, 2016 |
exact
|You are 3.81.73.233 <- set your identity!

Sections: HS15 | HS16 |

HS15 ^

Presentation: http:files/MarcoSyfrigTypedLambdaCalculus_presentation.pdf

HS16 ^

Presentation: http:files/Dependent_Types_presentation_draft.pdf


|home |print view |recent changes |changed December 22, 2016 |
exact
|You are 3.81.73.233 <- set your identity!

Marco Syfrig
go to start