@techreport{bonfante:inria-00100697, TITLE = {{A model of a dependent linear calculus}}, AUTHOR = {Bonfante, Guillaume and Lamarche, Fran{\c c}ois and Streicher, Thomas}, URL = {https://inria.hal.science/inria-00100697}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {A01-R-262 || bonfante01c}, PAGES = {13 p}, YEAR = {2001}, KEYWORDS = {categorical semantics ; s{\'e}mantique ; symmetric monoidal categories ; dependent types ; linear logic ; Grothendieck fibrations ; types d{\'e}pendants ; graphe ; fibration}, HAL_ID = {inria-00100697}, HAL_VERSION = {v1}, }