| Document Date: 2005-11-23 17:22:09
Open Document File Size: 200,66 KBShare Result on Facebook
Country Denmark / / Currency Rs / / / Facility Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / / Organization Danish National Research Foundation / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Eta / / Person Kristian Støvring / / / Position author / Formalization The author / / ProgrammingLanguage Lambda Calculus / C / / URL www.brics.dk / ftp / |
BRICS RSK. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science