122 citations
- Carleton UniversityCA3 papers
- CCI Reprographics (United States)US2 papers
- École Polytechnique Fédérale de LausanneCH2 papers
- Ottawa UniversityUS2 papers
- Université de MontréalCA2 papers
- Belarusian State UniversityBY1 paper
- Belarusian State University of Informatics and RadioelectronicsBY1 paper
- Chiba UniversityJP1 paper
- Dalhousie UniversityCA1 paper
- Georgia Institute of TechnologyUS1 paper
- Institut de recherche mathématique de RennesFR1 paper
- Institute of SpectroscopyRU1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2008★ 2 cited
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
Peter Selinger, Benoît Valiron
We give a categorical semantics for a call-by-value linear lambda calculus. Such a lambda calculus was used by Selinger and Valiron as the backbone of a functional programming lang…
cs.LO2004
Polymorphic lemmas and definitions in Lambda Prolog and Twelf
Andrew W. Appel, Amy P. Felty
Lambda Prolog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and definitions in such logics can be implemented with a…