A Dependently Typed Ambient Calculus.pdf
Last update : 1 week ago
"A dependently typed ambient calculus" is owned and hosted by soton.ac.uk, this file has been downloaded 71 times, the last time was in 2025-04-08.
The pdf has been created in 2004-03-07, if you want to preview or download it, just click the link below.
| Download | ||
| Title | A dependently typed ambient calculus | |
| File Name | dtaPres.pdf - 408.83 KB | |
| Pages | 35 pages | |
| Owner | soton.ac.uk | |
| Creation date | 21 years ago | |
| Nb of downloads | 71 | |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "A dependently typed ambient calculus" does not meet your expectations, we invite you to take a look at the similar files below :
Related files to A dependently typed ambient calculus
Proof Search In Dependently Typed Functional Programming Or Dependently Typed Functional Programming Is Proof Search
2009-05-26-mlnl09.pdf
Dependently Typed Data Structures
DTDS.pdf
Dependently Typed Pattern Matching
sblp03.pdf
Dependently Typed Functional Programs And Their Proofs
ECS-LFCS-00-419.pdf
More files from soton.ac.uk
Quot 39 Amp 39 0 213 45 7698A B Amp DC7C
Owner : soton.ac.uk
Paper Dvi
Owner : soton.ac.uk
GRUPO DE ESTUDIO CON LA INDUSTRIA Y CURSOS EN MATEMÁTICAS INDUSTRIALES
Owner : soton.ac.uk
RCLec Dvi
Owner : soton.ac.uk
University Of Southampton Research Repository EPrints Soton
Owner : soton.ac.uk