Art
J-GLOBAL ID：201902205450040789   Reference number：19S0481261

Parsimonious types and non-uniform computation

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (2)：
Mazza, Damiano

About Mazza, Damiano

(CNRS, UMR 7030, LIPN, Universitè Paris 13, Sorbonne Paris Citè)

About CNRS, UMR 7030, LIPN, Universitè Paris 13, Sorbonne Paris Citè

, 
Terui, Kazushige

About Terui, Kazushige

(RIMS, Kyoto University)

About RIMS, Kyoto University


Material：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

About Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)


Volume： 9135  Page： 350-361  Publication year： 2015 
JST Material Number： SCOPUS  ISSN： 0302-9743  ISBN： 9783662476659 
Country of issue： Germany (DEU)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM