Matches in Wikidata for { <http://www.wikidata.org/entity/Q113773280> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- Q113773280 description "2018 nî lūn-bûn" @default.
- Q113773280 description "2018年の論文" @default.
- Q113773280 description "2018年学术文章" @default.
- Q113773280 description "2018年学术文章" @default.
- Q113773280 description "2018年学术文章" @default.
- Q113773280 description "2018年学术文章" @default.
- Q113773280 description "2018年学术文章" @default.
- Q113773280 description "2018年学术文章" @default.
- Q113773280 description "2018年學術文章" @default.
- Q113773280 description "2018年學術文章" @default.
- Q113773280 description "2018年學術文章" @default.
- Q113773280 description "2018年學術文章" @default.
- Q113773280 description "2018年學術文章" @default.
- Q113773280 description "2018년 논문" @default.
- Q113773280 description "article científic" @default.
- Q113773280 description "article scientific" @default.
- Q113773280 description "article scientifique" @default.
- Q113773280 description "articol științific" @default.
- Q113773280 description "articolo scientifico" @default.
- Q113773280 description "artigo científico" @default.
- Q113773280 description "artigo científico" @default.
- Q113773280 description "artigo científico" @default.
- Q113773280 description "artikel ilmiah" @default.
- Q113773280 description "artikull shkencor" @default.
- Q113773280 description "artikulong pang-agham" @default.
- Q113773280 description "artykuł naukowy" @default.
- Q113773280 description "artículo científico publicado en 2018" @default.
- Q113773280 description "artículu científicu espublizáu en 2018" @default.
- Q113773280 description "bilimsel makale" @default.
- Q113773280 description "bài báo khoa học" @default.
- Q113773280 description "naučni članak" @default.
- Q113773280 description "scienca artikolo" @default.
- Q113773280 description "scientific article published in 2018" @default.
- Q113773280 description "scientific article published on 30 July 2018" @default.
- Q113773280 description "scientific article published on 30 July 2018" @default.
- Q113773280 description "teaduslik artikkel" @default.
- Q113773280 description "tieteellinen artikkeli" @default.
- Q113773280 description "tudományos cikk" @default.
- Q113773280 description "vedecký článok" @default.
- Q113773280 description "vetenskaplig artikel" @default.
- Q113773280 description "videnskabelig artikel udgivet 30. juli 2018" @default.
- Q113773280 description "vitenskapelig artikkel" @default.
- Q113773280 description "vitskapeleg artikkel" @default.
- Q113773280 description "vědecký článek" @default.
- Q113773280 description "wetenschappelijk artikel" @default.
- Q113773280 description "wissenschaftlicher Artikel" @default.
- Q113773280 description "επιστημονικό άρθρο" @default.
- Q113773280 description "мақолаи илмӣ" @default.
- Q113773280 description "наукова стаття, опублікована в липні 2018" @default.
- Q113773280 description "научна статия" @default.
- Q113773280 description "научная статья" @default.
- Q113773280 description "научни чланак" @default.
- Q113773280 description "научни чланак" @default.
- Q113773280 description "מאמר מדעי" @default.
- Q113773280 description "مقالة بحثية نشرت في 30 يوليو 2018" @default.
- Q113773280 description "৩০ জুলাই ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113773280 description "บทความทางวิทยาศาสตร์" @default.
- Q113773280 description "სამეცნიერო სტატია" @default.
- Q113773280 name "A type and scope safe universe of syntaxes with binding: their semantics and proofs" @default.
- Q113773280 type Item @default.
- Q113773280 label "A type and scope safe universe of syntaxes with binding: their semantics and proofs" @default.
- Q113773280 prefLabel "A type and scope safe universe of syntaxes with binding: their semantics and proofs" @default.
- Q113773280 P1433 Q113773280-72DC6529-D1B3-4695-B688-6F2FCABAA1A9 @default.
- Q113773280 P1476 Q113773280-627D1F27-FC30-4025-9C26-172CDA210A35 @default.
- Q113773280 P2093 Q113773280-127D7CC4-8FD5-468D-B575-430F6A6E3694 @default.
- Q113773280 P2093 Q113773280-2370807E-7F41-466B-8486-84D966ADA1B0 @default.
- Q113773280 P2093 Q113773280-63F5662B-2F44-4ACD-9456-5799F5F18D2E @default.
- Q113773280 P2093 Q113773280-B3BBE2FC-18B1-4E35-94B4-751554EFD687 @default.
- Q113773280 P2093 Q113773280-E11D8EB7-537A-4370-935D-BE275D76C0BE @default.
- Q113773280 P304 Q113773280-D6337AE6-338D-4CF6-A925-1B2470E391AA @default.
- Q113773280 P31 Q113773280-A125B1E6-C302-4416-AC47-FD7E8124FDBE @default.
- Q113773280 P356 Q113773280-02B85B53-AFE6-457B-AAEE-7E02FD46E01C @default.
- Q113773280 P433 Q113773280-D1ECEE57-1A07-4628-AB2C-CD4C0E310F4F @default.
- Q113773280 P478 Q113773280-54424406-6B77-48EE-BBA8-60535CD0CFDF @default.
- Q113773280 P577 Q113773280-413C4054-C338-4006-AEC3-E1B31DC22D58 @default.
- Q113773280 P356 3236785 @default.
- Q113773280 P1433 Q93356659 @default.
- Q113773280 P1476 "A type and scope safe universe of syntaxes with binding: their semantics and proofs" @default.
- Q113773280 P2093 "Conor McBride" @default.
- Q113773280 P2093 "Guillaume Allais" @default.
- Q113773280 P2093 "James Chapman" @default.
- Q113773280 P2093 "James McKinna" @default.
- Q113773280 P2093 "Robert Atkey" @default.
- Q113773280 P304 "1-30" @default.
- Q113773280 P31 Q13442814 @default.
- Q113773280 P356 "10.1145/3236785" @default.
- Q113773280 P433 "ICFP" @default.
- Q113773280 P478 "2" @default.
- Q113773280 P577 "2018-07-30T00:00:00Z" @default.