Matches in SemOpenAlex for { <https://semopenalex.org/work/W66503809> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W66503809 abstract "We present in this paper a formalisation of the chapter Logical Relations and a Case Study in Equivalence Checking by Karl Crary from the book on Advanced Topics in Types and Programming Languages, MIT Press 2005. We use a fully nominal approach to deal with binders. The formalisation has been performed within the Isabelle/HOL proof assistant using the Nominal Package." @default.
- W66503809 created "2016-06-24" @default.
- W66503809 creator A5021400820 @default.
- W66503809 creator A5032322583 @default.
- W66503809 date "2007-01-01" @default.
- W66503809 modified "2023-09-27" @default.
- W66503809 title "Formalisation of Logical Relations proofs using the Nominal Package" @default.
- W66503809 cites W1534472109 @default.
- W66503809 cites W1684926818 @default.
- W66503809 cites W178927145 @default.
- W66503809 cites W2584847921 @default.
- W66503809 hasPublicationYear "2007" @default.
- W66503809 type Work @default.
- W66503809 sameAs 66503809 @default.
- W66503809 citedByCount "0" @default.
- W66503809 crossrefType "journal-article" @default.
- W66503809 hasAuthorship W66503809A5021400820 @default.
- W66503809 hasAuthorship W66503809A5032322583 @default.
- W66503809 hasConcept C108710211 @default.
- W66503809 hasConcept C11413529 @default.
- W66503809 hasConcept C118615104 @default.
- W66503809 hasConcept C17435882 @default.
- W66503809 hasConcept C199343813 @default.
- W66503809 hasConcept C199360897 @default.
- W66503809 hasConcept C203265346 @default.
- W66503809 hasConcept C2524010 @default.
- W66503809 hasConcept C2777686260 @default.
- W66503809 hasConcept C2780069185 @default.
- W66503809 hasConcept C33923547 @default.
- W66503809 hasConcept C41008148 @default.
- W66503809 hasConcept C71924100 @default.
- W66503809 hasConcept C80444323 @default.
- W66503809 hasConceptScore W66503809C108710211 @default.
- W66503809 hasConceptScore W66503809C11413529 @default.
- W66503809 hasConceptScore W66503809C118615104 @default.
- W66503809 hasConceptScore W66503809C17435882 @default.
- W66503809 hasConceptScore W66503809C199343813 @default.
- W66503809 hasConceptScore W66503809C199360897 @default.
- W66503809 hasConceptScore W66503809C203265346 @default.
- W66503809 hasConceptScore W66503809C2524010 @default.
- W66503809 hasConceptScore W66503809C2777686260 @default.
- W66503809 hasConceptScore W66503809C2780069185 @default.
- W66503809 hasConceptScore W66503809C33923547 @default.
- W66503809 hasConceptScore W66503809C41008148 @default.
- W66503809 hasConceptScore W66503809C71924100 @default.
- W66503809 hasConceptScore W66503809C80444323 @default.
- W66503809 hasLocation W665038091 @default.
- W66503809 hasOpenAccess W66503809 @default.
- W66503809 hasPrimaryLocation W665038091 @default.
- W66503809 hasRelatedWork W1521904835 @default.
- W66503809 hasRelatedWork W1553762530 @default.
- W66503809 hasRelatedWork W1571434026 @default.
- W66503809 hasRelatedWork W1576046038 @default.
- W66503809 hasRelatedWork W1608764256 @default.
- W66503809 hasRelatedWork W1849813101 @default.
- W66503809 hasRelatedWork W2018100734 @default.
- W66503809 hasRelatedWork W2034168949 @default.
- W66503809 hasRelatedWork W2036263203 @default.
- W66503809 hasRelatedWork W2098316338 @default.
- W66503809 hasRelatedWork W2160228173 @default.
- W66503809 hasRelatedWork W2399174319 @default.
- W66503809 hasRelatedWork W2463700520 @default.
- W66503809 hasRelatedWork W2504864156 @default.
- W66503809 hasRelatedWork W2510622047 @default.
- W66503809 hasRelatedWork W2951050031 @default.
- W66503809 hasRelatedWork W3094379708 @default.
- W66503809 hasRelatedWork W3105570133 @default.
- W66503809 hasRelatedWork W3154026477 @default.
- W66503809 hasRelatedWork W3196549399 @default.
- W66503809 isParatext "false" @default.
- W66503809 isRetracted "false" @default.
- W66503809 magId "66503809" @default.
- W66503809 workType "article" @default.