Art
J-GLOBAL ID：202002252849712134   Reference number：20A1495474

Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis

依存型理論における競合継承経路:機能解析における事例研究【JST・京大機械翻訳】
Author (6)：
Affeldt Reynald

About Affeldt Reynald

(National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba, Japan)

About National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba, Japan

, 
Cohen Cyril

About Cohen Cyril

(Universite Cote d’Azur, Inria, Sophia Antipolis, France)

About Universite Cote d’Azur, Inria, Sophia Antipolis, France

, 
Kerjean Marie

About Kerjean Marie

(Inria, Rennes-Bretagne Atlantique, Rennes, France)

About Inria, Rennes-Bretagne Atlantique, Rennes, France

, 
Mahboubi Assia

About Mahboubi Assia

(Inria, Rennes-Bretagne Atlantique, Rennes, France)

About Inria, Rennes-Bretagne Atlantique, Rennes, France

, 
Rouhling Damien

About Rouhling Damien

(Inria & Universite de Strasbourg, CNRS, ICube, Nancy-Grand Est, Villers-les-Nancy, France)

About Inria & Universite de Strasbourg, CNRS, ICube, Nancy-Grand Est, Villers-les-Nancy, France

, 
Sakaguchi Kazuhiko

About Sakaguchi Kazuhiko

(University of Tsukuba, Tsukuba, Japan)

About University of Tsukuba, Tsukuba, Japan


Material：
Lecture Notes in Computer Science  (LNBI)

About Lecture Notes in Computer Science


Volume： 12167  Page： 3-20  Publication year： 2020 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Abstract: This paper discusses...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1495474&from=J-GLOBAL&jstjournalNo=H0078D") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
topology

About topology

, 
heredity

About heredity

, 
linear algebra

About linear algebra

, 
*function analysis

About function analysis

, 
*case study

About case study

, 
hierarchical structure

About hierarchical structure


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
規範

About 規範

, 
依存タイプ

About 依存タイプ

, 【Automatic Indexing@JST】
Author keywords (4)：
Formalization of mathematics

About Formalization of mathematics

, 
Dependent type theory

About Dependent type theory

, 
Packed classes

About Packed classes

, 
Coq

About Coq

JST classification (3)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

,  Numerical computation 
(JE02000J)

About Numerical computation

,  System and control theory in general 
(IA02010H)

About System and control theory in general

Terms in the title (6)：
Terms in the title
Keywords automatically extracted from the title.
型理論

About 型理論

, 
競合

About 競合

, 
継承

About 継承

, 
経路

About 経路

, 
機能解析

About 機能解析

, 
研究

About 研究


Return to Previous Page

TOP

BOTTOM