Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567272424> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1567272424 abstract "In this work, we propose a temporal logic with a past-time operator, show its soundness, and establish a Curry-Howard correspondence to a λ-calculus. Furthermore, we illustrate how it serves as a logical foundation for programming with dependently typed data, supports programming with higher-order abstract syntax and hypothetical judgments. Sample programs that we discuss in this paper include bracket abstraction. Important Note: There is an updated/simplified presentation of this system available as Yale Technical Report TR-1364" @default.
- W1567272424 created "2016-06-24" @default.
- W1567272424 creator A5016090065 @default.
- W1567272424 creator A5064022217 @default.
- W1567272424 date "2006-01-01" @default.
- W1567272424 modified "2023-09-26" @default.
- W1567272424 title "A Temporal-Logic Approach to Programming with Dependent Types and Higher-Order Encodings" @default.
- W1567272424 cites W1523618566 @default.
- W1567272424 cites W1567853881 @default.
- W1567272424 cites W1569569047 @default.
- W1567272424 cites W1582062578 @default.
- W1567272424 cites W1586167239 @default.
- W1567272424 cites W1650987719 @default.
- W1567272424 cites W1974190112 @default.
- W1567272424 cites W1975957807 @default.
- W1567272424 cites W1996404651 @default.
- W1567272424 cites W2005192022 @default.
- W1567272424 cites W2027584005 @default.
- W1567272424 cites W2033339909 @default.
- W1567272424 cites W2062887328 @default.
- W1567272424 cites W2096314727 @default.
- W1567272424 cites W2108857165 @default.
- W1567272424 cites W2116286972 @default.
- W1567272424 cites W2123990062 @default.
- W1567272424 cites W2134291411 @default.
- W1567272424 cites W2134737716 @default.
- W1567272424 cites W2134801812 @default.
- W1567272424 cites W2149314483 @default.
- W1567272424 cites W2911379300 @default.
- W1567272424 hasPublicationYear "2006" @default.
- W1567272424 type Work @default.
- W1567272424 sameAs 1567272424 @default.
- W1567272424 citedByCount "0" @default.
- W1567272424 crossrefType "journal-article" @default.
- W1567272424 hasAuthorship W1567272424A5016090065 @default.
- W1567272424 hasAuthorship W1567272424A5064022217 @default.
- W1567272424 hasConcept C111472728 @default.
- W1567272424 hasConcept C124304363 @default.
- W1567272424 hasConcept C128838566 @default.
- W1567272424 hasConcept C138885662 @default.
- W1567272424 hasConcept C154945302 @default.
- W1567272424 hasConcept C199360897 @default.
- W1567272424 hasConcept C25016198 @default.
- W1567272424 hasConcept C34165917 @default.
- W1567272424 hasConcept C39920170 @default.
- W1567272424 hasConcept C41008148 @default.
- W1567272424 hasConcept C50033165 @default.
- W1567272424 hasConcept C60048249 @default.
- W1567272424 hasConcept C80444323 @default.
- W1567272424 hasConcept C96315309 @default.
- W1567272424 hasConceptScore W1567272424C111472728 @default.
- W1567272424 hasConceptScore W1567272424C124304363 @default.
- W1567272424 hasConceptScore W1567272424C128838566 @default.
- W1567272424 hasConceptScore W1567272424C138885662 @default.
- W1567272424 hasConceptScore W1567272424C154945302 @default.
- W1567272424 hasConceptScore W1567272424C199360897 @default.
- W1567272424 hasConceptScore W1567272424C25016198 @default.
- W1567272424 hasConceptScore W1567272424C34165917 @default.
- W1567272424 hasConceptScore W1567272424C39920170 @default.
- W1567272424 hasConceptScore W1567272424C41008148 @default.
- W1567272424 hasConceptScore W1567272424C50033165 @default.
- W1567272424 hasConceptScore W1567272424C60048249 @default.
- W1567272424 hasConceptScore W1567272424C80444323 @default.
- W1567272424 hasConceptScore W1567272424C96315309 @default.
- W1567272424 hasLocation W15672724241 @default.
- W1567272424 hasOpenAccess W1567272424 @default.
- W1567272424 hasPrimaryLocation W15672724241 @default.
- W1567272424 hasRelatedWork W118671747 @default.
- W1567272424 hasRelatedWork W139807330 @default.
- W1567272424 hasRelatedWork W1551001659 @default.
- W1567272424 hasRelatedWork W1558013152 @default.
- W1567272424 hasRelatedWork W1573805454 @default.
- W1567272424 hasRelatedWork W204762166 @default.
- W1567272424 hasRelatedWork W2066612386 @default.
- W1567272424 hasRelatedWork W2127485049 @default.
- W1567272424 hasRelatedWork W2139125912 @default.
- W1567272424 hasRelatedWork W2168913934 @default.
- W1567272424 hasRelatedWork W2186340795 @default.
- W1567272424 hasRelatedWork W2475867549 @default.
- W1567272424 hasRelatedWork W2580696767 @default.
- W1567272424 hasRelatedWork W2792189678 @default.
- W1567272424 hasRelatedWork W2918178787 @default.
- W1567272424 hasRelatedWork W3169264861 @default.
- W1567272424 hasRelatedWork W3171880081 @default.
- W1567272424 hasRelatedWork W407157078 @default.
- W1567272424 hasRelatedWork W87133233 @default.
- W1567272424 hasRelatedWork W2183422466 @default.
- W1567272424 isParatext "false" @default.
- W1567272424 isRetracted "false" @default.
- W1567272424 magId "1567272424" @default.
- W1567272424 workType "article" @default.