| Document Date: 2014-12-18 18:53:20
Open Document File Size: 202,23 KBShare Result on Facebook
City Evry / Berlin / New York / Paris / / Country France / / IndustryTerm formal systems / pure type systems / / Movie Paris / France 3 / Paris / France 2 / Paris / France 4 / Paris / France / / Organization Foundation of Mathematics / Ecole Polytechnique / Paris / / Person Ai / / Position editor / assistant / / Technology alpha / Functional Programming / object-oriented programming / / URL www.rocq.inria.fr/deducteam/Sigmaid / / |
Objects and subtyping in the λΠ-calculus modulo Ali Assaf12 , Rapha¨el Cauderlier13 , and Catherine Dubois34 1 INRIA Paris-Rocquencourt, Paris, France 2 ´