Normal functors, power series and λ-calculus
暂无分享,去创建一个
On presente une nouvelle approche des fonctionnelles continues comportant les modeles de differents lambda calculs
[1] Jean-Yves Girard,et al. Π12-logic, Part 1: Dilators , 1981 .
[2] J. Y. Girard. Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture , 1976 .
[3] Jean-Yves Girard,et al. The System F of Variable Types, Fifteen Years Later , 1986, Theor. Comput. Sci..
[4] Dana S. Scott,et al. Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.
[5] Gérard Berry,et al. Stable Models of Typed lambda-Calculi , 1978, ICALP.