Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
A Logical Framework with Dependently Typed Records

A Logical Framework with Dependently Typed Records

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2701/2003
BookTyped Lambda Calculi and Applications
DOI10.1007/3-540-44904-3
Copyright2003
ISBN978-3-540-40332-6
DOI10.1007/3-540-44904-3_8
Page1086
Subject CollectionComputer Science
SpringerLink DateWednesday, January 01, 2003
Add to marked items

A Logical Framework with Dependently Typed Records

Thierry Coquand5 Contact Information, Randy Pollack6 Contact Information and Makoto Takeyama5 Contact Information

(5)  Chalmers Tekniska Högskola, Sweden
(6)  Edinburgh University, UK
Without Abstract

Contact Information Thierry Coquand
Email: coquand@cs.chalmers.se

Contact Information Randy Pollack
Email: rap@inf.ed.ac.uk

Contact Information Makoto Takeyama
Email: makoto@cs.chalmers.se
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.107 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)