Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898855460> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2898855460 abstract "This paper presents an analysis of a type theory, which serves as a solid foundation for usage of the derivation system in Coq proof assistant. An overview of the extension path from simply typed lambda calculus to Calculus of Inductive Constructions provides important insights about the type system of highly expressive functional programming language inside Coq, called Gallina. The correspondence between type theory expressions and Coq constructions is established." @default.
- W2898855460 created "2018-11-09" @default.
- W2898855460 creator A5002803333 @default.
- W2898855460 creator A5031158464 @default.
- W2898855460 creator A5045573335 @default.
- W2898855460 date "2018-10-01" @default.
- W2898855460 modified "2023-09-27" @default.
- W2898855460 title "Type- Theoretical Foundations of the Derivation System in Coq" @default.
- W2898855460 cites W113914086 @default.
- W2898855460 cites W1159890461 @default.
- W2898855460 cites W1483565071 @default.
- W2898855460 cites W1557561422 @default.
- W2898855460 cites W1986402635 @default.
- W2898855460 cites W1996404651 @default.
- W2898855460 cites W2074746292 @default.
- W2898855460 cites W2084797476 @default.
- W2898855460 cites W2097181978 @default.
- W2898855460 cites W2120300141 @default.
- W2898855460 cites W2168004337 @default.
- W2898855460 cites W2186501980 @default.
- W2898855460 cites W2203703519 @default.
- W2898855460 cites W2402296188 @default.
- W2898855460 cites W2907235690 @default.
- W2898855460 cites W606696939 @default.
- W2898855460 doi "https://doi.org/10.1109/saic.2018.8516885" @default.
- W2898855460 hasPublicationYear "2018" @default.
- W2898855460 type Work @default.
- W2898855460 sameAs 2898855460 @default.
- W2898855460 citedByCount "0" @default.
- W2898855460 crossrefType "proceedings-article" @default.
- W2898855460 hasAuthorship W2898855460A5002803333 @default.
- W2898855460 hasAuthorship W2898855460A5031158464 @default.
- W2898855460 hasAuthorship W2898855460A5045573335 @default.
- W2898855460 hasConcept C108710211 @default.
- W2898855460 hasConcept C118615104 @default.
- W2898855460 hasConcept C135790938 @default.
- W2898855460 hasConcept C136119220 @default.
- W2898855460 hasConcept C142156749 @default.
- W2898855460 hasConcept C18903297 @default.
- W2898855460 hasConcept C199343813 @default.
- W2898855460 hasConcept C199360897 @default.
- W2898855460 hasConcept C202444582 @default.
- W2898855460 hasConcept C203265346 @default.
- W2898855460 hasConcept C20528804 @default.
- W2898855460 hasConcept C2524010 @default.
- W2898855460 hasConcept C2777299769 @default.
- W2898855460 hasConcept C2777686260 @default.
- W2898855460 hasConcept C2778029271 @default.
- W2898855460 hasConcept C33923547 @default.
- W2898855460 hasConcept C41008148 @default.
- W2898855460 hasConcept C42383842 @default.
- W2898855460 hasConcept C55128367 @default.
- W2898855460 hasConcept C71924100 @default.
- W2898855460 hasConcept C86803240 @default.
- W2898855460 hasConcept C93682546 @default.
- W2898855460 hasConceptScore W2898855460C108710211 @default.
- W2898855460 hasConceptScore W2898855460C118615104 @default.
- W2898855460 hasConceptScore W2898855460C135790938 @default.
- W2898855460 hasConceptScore W2898855460C136119220 @default.
- W2898855460 hasConceptScore W2898855460C142156749 @default.
- W2898855460 hasConceptScore W2898855460C18903297 @default.
- W2898855460 hasConceptScore W2898855460C199343813 @default.
- W2898855460 hasConceptScore W2898855460C199360897 @default.
- W2898855460 hasConceptScore W2898855460C202444582 @default.
- W2898855460 hasConceptScore W2898855460C203265346 @default.
- W2898855460 hasConceptScore W2898855460C20528804 @default.
- W2898855460 hasConceptScore W2898855460C2524010 @default.
- W2898855460 hasConceptScore W2898855460C2777299769 @default.
- W2898855460 hasConceptScore W2898855460C2777686260 @default.
- W2898855460 hasConceptScore W2898855460C2778029271 @default.
- W2898855460 hasConceptScore W2898855460C33923547 @default.
- W2898855460 hasConceptScore W2898855460C41008148 @default.
- W2898855460 hasConceptScore W2898855460C42383842 @default.
- W2898855460 hasConceptScore W2898855460C55128367 @default.
- W2898855460 hasConceptScore W2898855460C71924100 @default.
- W2898855460 hasConceptScore W2898855460C86803240 @default.
- W2898855460 hasConceptScore W2898855460C93682546 @default.
- W2898855460 hasLocation W28988554601 @default.
- W2898855460 hasOpenAccess W2898855460 @default.
- W2898855460 hasPrimaryLocation W28988554601 @default.
- W2898855460 hasRelatedWork W1632691573 @default.
- W2898855460 hasRelatedWork W1827112781 @default.
- W2898855460 hasRelatedWork W1969204136 @default.
- W2898855460 hasRelatedWork W2003295197 @default.
- W2898855460 hasRelatedWork W2084790882 @default.
- W2898855460 hasRelatedWork W2110020126 @default.
- W2898855460 hasRelatedWork W2898855460 @default.
- W2898855460 hasRelatedWork W3123171335 @default.
- W2898855460 hasRelatedWork W32986836 @default.
- W2898855460 hasRelatedWork W3021962464 @default.
- W2898855460 isParatext "false" @default.
- W2898855460 isRetracted "false" @default.
- W2898855460 magId "2898855460" @default.
- W2898855460 workType "article" @default.