Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007152073> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2007152073 abstract "We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal variables in a modal type theory, which is logically clean and justifies several low-level implementation techniques for meta-variables. We also speculate on other logical extensions of our modal type theory, at present without clear applications." @default.
- W2007152073 created "2016-06-24" @default.
- W2007152073 creator A5021476649 @default.
- W2007152073 creator A5026624853 @default.
- W2007152073 creator A5044908798 @default.
- W2007152073 date "2003-08-26" @default.
- W2007152073 modified "2023-10-18" @default.
- W2007152073 title "A modal foundation for meta-variables" @default.
- W2007152073 cites W1490682279 @default.
- W2007152073 cites W1537833215 @default.
- W2007152073 cites W1974190112 @default.
- W2007152073 cites W1988824860 @default.
- W2007152073 cites W2034676877 @default.
- W2007152073 cites W2050702141 @default.
- W2007152073 doi "https://doi.org/10.1145/976571.976582" @default.
- W2007152073 hasPublicationYear "2003" @default.
- W2007152073 type Work @default.
- W2007152073 sameAs 2007152073 @default.
- W2007152073 citedByCount "12" @default.
- W2007152073 countsByYear W20071520732014 @default.
- W2007152073 countsByYear W20071520732015 @default.
- W2007152073 crossrefType "proceedings-article" @default.
- W2007152073 hasAuthorship W2007152073A5021476649 @default.
- W2007152073 hasAuthorship W2007152073A5026624853 @default.
- W2007152073 hasAuthorship W2007152073A5044908798 @default.
- W2007152073 hasConcept C134306372 @default.
- W2007152073 hasConcept C166957645 @default.
- W2007152073 hasConcept C182365436 @default.
- W2007152073 hasConcept C185592680 @default.
- W2007152073 hasConcept C188027245 @default.
- W2007152073 hasConcept C18903297 @default.
- W2007152073 hasConcept C199343813 @default.
- W2007152073 hasConcept C199360897 @default.
- W2007152073 hasConcept C20693621 @default.
- W2007152073 hasConcept C27508121 @default.
- W2007152073 hasConcept C2777299769 @default.
- W2007152073 hasConcept C2777686260 @default.
- W2007152073 hasConcept C2780966255 @default.
- W2007152073 hasConcept C33923547 @default.
- W2007152073 hasConcept C41008148 @default.
- W2007152073 hasConcept C71139939 @default.
- W2007152073 hasConcept C71924100 @default.
- W2007152073 hasConcept C86803240 @default.
- W2007152073 hasConcept C93682546 @default.
- W2007152073 hasConcept C95457728 @default.
- W2007152073 hasConceptScore W2007152073C134306372 @default.
- W2007152073 hasConceptScore W2007152073C166957645 @default.
- W2007152073 hasConceptScore W2007152073C182365436 @default.
- W2007152073 hasConceptScore W2007152073C185592680 @default.
- W2007152073 hasConceptScore W2007152073C188027245 @default.
- W2007152073 hasConceptScore W2007152073C18903297 @default.
- W2007152073 hasConceptScore W2007152073C199343813 @default.
- W2007152073 hasConceptScore W2007152073C199360897 @default.
- W2007152073 hasConceptScore W2007152073C20693621 @default.
- W2007152073 hasConceptScore W2007152073C27508121 @default.
- W2007152073 hasConceptScore W2007152073C2777299769 @default.
- W2007152073 hasConceptScore W2007152073C2777686260 @default.
- W2007152073 hasConceptScore W2007152073C2780966255 @default.
- W2007152073 hasConceptScore W2007152073C33923547 @default.
- W2007152073 hasConceptScore W2007152073C41008148 @default.
- W2007152073 hasConceptScore W2007152073C71139939 @default.
- W2007152073 hasConceptScore W2007152073C71924100 @default.
- W2007152073 hasConceptScore W2007152073C86803240 @default.
- W2007152073 hasConceptScore W2007152073C93682546 @default.
- W2007152073 hasConceptScore W2007152073C95457728 @default.
- W2007152073 hasLocation W20071520731 @default.
- W2007152073 hasOpenAccess W2007152073 @default.
- W2007152073 hasPrimaryLocation W20071520731 @default.
- W2007152073 hasRelatedWork W128023316 @default.
- W2007152073 hasRelatedWork W2007152073 @default.
- W2007152073 hasRelatedWork W2540322980 @default.
- W2007152073 hasRelatedWork W2962420748 @default.
- W2007152073 hasRelatedWork W3212939245 @default.
- W2007152073 hasRelatedWork W4226055581 @default.
- W2007152073 hasRelatedWork W4256443165 @default.
- W2007152073 hasRelatedWork W4294810627 @default.
- W2007152073 hasRelatedWork W87163171 @default.
- W2007152073 hasRelatedWork W46061460 @default.
- W2007152073 isParatext "false" @default.
- W2007152073 isRetracted "false" @default.
- W2007152073 magId "2007152073" @default.
- W2007152073 workType "article" @default.