Documents
Authors
Tables
Other Seers ▼
RefSeer
AckSeer
CollabSeer
SeerSeer
Log in
Sign up
MetaCart
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations |
Disambiguate
Tables:
A System F with call-by-name exceptions
(0)
by S LEBRESNE
Venue:
Scientific Books (or Scientific Book chapters
Add To MetaCart
Tools
Sorted by:
Citation Count
Year (Descending)
Year (Ascending)
Recency
Results
1 - 1
of
1
Project-Team TypiCal Types, Logic, and Computation
by Saclay Île-de-france
"... c t i v it y e p o r t ..."
Abstract
-
Add to MetaCart
c t i v it y e p o r t