APA (7th ed.) Citation

Kammüller, F., & Sudhof, H. (2007). A formalization of typed aspects for the s-calculus [sigma-calculus] in Isabelle, HOL. Techn.Univ., Fak. IV. https://doi.org/10.14279/depositonce-10306

Chicago Style (17th ed.) Citation

Kammüller, Florian, and Henry Sudhof. A Formalization of Typed Aspects for the S-calculus [sigma-calculus] in Isabelle, HOL. Berlin: Techn.Univ., Fak. IV, 2007. https://doi.org/10.14279/depositonce-10306.

MLA (9th ed.) Citation

Kammüller, Florian, and Henry Sudhof. A Formalization of Typed Aspects for the S-calculus [sigma-calculus] in Isabelle, HOL. Techn.Univ., Fak. IV, 2007. https://doi.org/10.14279/depositonce-10306.