science.types (thread)
<
Prev Period
]
[
Next Period
>
Re: Permutation of beta-redexes in lambda-calculus
,
Sam Lindley
[TYPES/announce] Small Workshop: DEPENDENTLY TYPED PROGRAMMING
,
Thorsten Altenkirch
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise
