Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963594258> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2963594258 endingPage "109" @default.
- W2963594258 startingPage "102" @default.
- W2963594258 abstract "Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We show here that the equational approach corresponds to the use of a focused presentation of a type theory expressed as a sequent calculus. A typed functional language is presented, based on a sequent calculus, that we relate to the syntax and internal language of Agda. In particular, we discuss the use of patterns and case splittings, as well as rules implementing inductive reasoning and dependent products and sums." @default.
- W2963594258 created "2019-07-30" @default.
- W2963594258 creator A5019696530 @default.
- W2963594258 creator A5050494506 @default.
- W2963594258 date "2015-07-01" @default.
- W2963594258 modified "2023-09-24" @default.
- W2963594258 title "Sequent Calculus and Equational Programming" @default.
- W2963594258 hasPublicationYear "2015" @default.
- W2963594258 type Work @default.
- W2963594258 sameAs 2963594258 @default.
- W2963594258 citedByCount "0" @default.
- W2963594258 crossrefType "journal-article" @default.
- W2963594258 hasAuthorship W2963594258A5019696530 @default.
- W2963594258 hasAuthorship W2963594258A5050494506 @default.
- W2963594258 hasConcept C108710211 @default.
- W2963594258 hasConcept C111404639 @default.
- W2963594258 hasConcept C114408938 @default.
- W2963594258 hasConcept C136119220 @default.
- W2963594258 hasConcept C154945302 @default.
- W2963594258 hasConcept C184337299 @default.
- W2963594258 hasConcept C18903297 @default.
- W2963594258 hasConcept C199343813 @default.
- W2963594258 hasConcept C199360897 @default.
- W2963594258 hasConcept C202444582 @default.
- W2963594258 hasConcept C2524010 @default.
- W2963594258 hasConcept C2777299769 @default.
- W2963594258 hasConcept C2777686260 @default.
- W2963594258 hasConcept C33923547 @default.
- W2963594258 hasConcept C41008148 @default.
- W2963594258 hasConcept C42383842 @default.
- W2963594258 hasConcept C60048249 @default.
- W2963594258 hasConcept C62073222 @default.
- W2963594258 hasConcept C6489637 @default.
- W2963594258 hasConcept C65880906 @default.
- W2963594258 hasConcept C71924100 @default.
- W2963594258 hasConcept C85343465 @default.
- W2963594258 hasConcept C86803240 @default.
- W2963594258 hasConcept C89421646 @default.
- W2963594258 hasConcept C93682546 @default.
- W2963594258 hasConceptScore W2963594258C108710211 @default.
- W2963594258 hasConceptScore W2963594258C111404639 @default.
- W2963594258 hasConceptScore W2963594258C114408938 @default.
- W2963594258 hasConceptScore W2963594258C136119220 @default.
- W2963594258 hasConceptScore W2963594258C154945302 @default.
- W2963594258 hasConceptScore W2963594258C184337299 @default.
- W2963594258 hasConceptScore W2963594258C18903297 @default.
- W2963594258 hasConceptScore W2963594258C199343813 @default.
- W2963594258 hasConceptScore W2963594258C199360897 @default.
- W2963594258 hasConceptScore W2963594258C202444582 @default.
- W2963594258 hasConceptScore W2963594258C2524010 @default.
- W2963594258 hasConceptScore W2963594258C2777299769 @default.
- W2963594258 hasConceptScore W2963594258C2777686260 @default.
- W2963594258 hasConceptScore W2963594258C33923547 @default.
- W2963594258 hasConceptScore W2963594258C41008148 @default.
- W2963594258 hasConceptScore W2963594258C42383842 @default.
- W2963594258 hasConceptScore W2963594258C60048249 @default.
- W2963594258 hasConceptScore W2963594258C62073222 @default.
- W2963594258 hasConceptScore W2963594258C6489637 @default.
- W2963594258 hasConceptScore W2963594258C65880906 @default.
- W2963594258 hasConceptScore W2963594258C71924100 @default.
- W2963594258 hasConceptScore W2963594258C85343465 @default.
- W2963594258 hasConceptScore W2963594258C86803240 @default.
- W2963594258 hasConceptScore W2963594258C89421646 @default.
- W2963594258 hasConceptScore W2963594258C93682546 @default.
- W2963594258 hasLocation W29635942581 @default.
- W2963594258 hasOpenAccess W2963594258 @default.
- W2963594258 hasPrimaryLocation W29635942581 @default.
- W2963594258 hasRelatedWork W112045510 @default.
- W2963594258 hasRelatedWork W1524771684 @default.
- W2963594258 hasRelatedWork W1534678063 @default.
- W2963594258 hasRelatedWork W1535211157 @default.
- W2963594258 hasRelatedWork W1554068457 @default.
- W2963594258 hasRelatedWork W1588934256 @default.
- W2963594258 hasRelatedWork W1892209699 @default.
- W2963594258 hasRelatedWork W1984807151 @default.
- W2963594258 hasRelatedWork W1993439695 @default.
- W2963594258 hasRelatedWork W2023922858 @default.
- W2963594258 hasRelatedWork W2042372913 @default.
- W2963594258 hasRelatedWork W2043675079 @default.
- W2963594258 hasRelatedWork W2146437601 @default.
- W2963594258 hasRelatedWork W2147207738 @default.
- W2963594258 hasRelatedWork W2214177320 @default.
- W2963594258 hasRelatedWork W2462468993 @default.
- W2963594258 hasRelatedWork W2763348751 @default.
- W2963594258 hasRelatedWork W2964336626 @default.
- W2963594258 hasRelatedWork W321533831 @default.
- W2963594258 hasRelatedWork W1538909452 @default.
- W2963594258 isParatext "false" @default.
- W2963594258 isRetracted "false" @default.
- W2963594258 magId "2963594258" @default.
- W2963594258 workType "article" @default.