Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953092313> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2953092313 abstract "We design a library for binary field arithmetic and we supply a core API which is completely developed in DLAL, extended with a fix point formula. Since DLAL is a restriction of linear logic where only functional programs with polynomial evaluation cost can be typed, we obtain the core of a functional programming setting for binary field arithmetic with built-in polynomial complexity." @default.
- W2953092313 created "2019-06-27" @default.
- W2953092313 creator A5018060976 @default.
- W2953092313 creator A5029371057 @default.
- W2953092313 creator A5070875628 @default.
- W2953092313 date "2011-06-28" @default.
- W2953092313 modified "2023-09-25" @default.
- W2953092313 title "Typing a Core Binary Field Arithmetic in a Light Logic" @default.
- W2953092313 cites W1545415328 @default.
- W2953092313 cites W1592482282 @default.
- W2953092313 cites W159715351 @default.
- W2953092313 cites W1856607635 @default.
- W2953092313 cites W1969548989 @default.
- W2953092313 cites W1989132974 @default.
- W2953092313 cites W2010059824 @default.
- W2953092313 cites W2013132887 @default.
- W2953092313 cites W2057183321 @default.
- W2953092313 cites W2101565274 @default.
- W2953092313 cites W2121371977 @default.
- W2953092313 cites W2173213060 @default.
- W2953092313 hasPublicationYear "2011" @default.
- W2953092313 type Work @default.
- W2953092313 sameAs 2953092313 @default.
- W2953092313 citedByCount "0" @default.
- W2953092313 crossrefType "posted-content" @default.
- W2953092313 hasAuthorship W2953092313A5018060976 @default.
- W2953092313 hasAuthorship W2953092313A5029371057 @default.
- W2953092313 hasAuthorship W2953092313A5070875628 @default.
- W2953092313 hasConcept C118615104 @default.
- W2953092313 hasConcept C134306372 @default.
- W2953092313 hasConcept C202444582 @default.
- W2953092313 hasConcept C2164484 @default.
- W2953092313 hasConcept C28077239 @default.
- W2953092313 hasConcept C33923547 @default.
- W2953092313 hasConcept C41008148 @default.
- W2953092313 hasConcept C48372109 @default.
- W2953092313 hasConcept C76155785 @default.
- W2953092313 hasConcept C80444323 @default.
- W2953092313 hasConcept C90119067 @default.
- W2953092313 hasConcept C94375191 @default.
- W2953092313 hasConcept C9652623 @default.
- W2953092313 hasConceptScore W2953092313C118615104 @default.
- W2953092313 hasConceptScore W2953092313C134306372 @default.
- W2953092313 hasConceptScore W2953092313C202444582 @default.
- W2953092313 hasConceptScore W2953092313C2164484 @default.
- W2953092313 hasConceptScore W2953092313C28077239 @default.
- W2953092313 hasConceptScore W2953092313C33923547 @default.
- W2953092313 hasConceptScore W2953092313C41008148 @default.
- W2953092313 hasConceptScore W2953092313C48372109 @default.
- W2953092313 hasConceptScore W2953092313C76155785 @default.
- W2953092313 hasConceptScore W2953092313C80444323 @default.
- W2953092313 hasConceptScore W2953092313C90119067 @default.
- W2953092313 hasConceptScore W2953092313C94375191 @default.
- W2953092313 hasConceptScore W2953092313C9652623 @default.
- W2953092313 hasLocation W29530923131 @default.
- W2953092313 hasOpenAccess W2953092313 @default.
- W2953092313 hasPrimaryLocation W29530923131 @default.
- W2953092313 hasRelatedWork W1606949819 @default.
- W2953092313 hasRelatedWork W1824467726 @default.
- W2953092313 hasRelatedWork W1884701998 @default.
- W2953092313 hasRelatedWork W1965905913 @default.
- W2953092313 hasRelatedWork W1988410836 @default.
- W2953092313 hasRelatedWork W2002254785 @default.
- W2953092313 hasRelatedWork W2043792462 @default.
- W2953092313 hasRelatedWork W2074843875 @default.
- W2953092313 hasRelatedWork W2100749420 @default.
- W2953092313 hasRelatedWork W2105702911 @default.
- W2953092313 hasRelatedWork W2119682606 @default.
- W2953092313 hasRelatedWork W2148231801 @default.
- W2953092313 hasRelatedWork W2156058638 @default.
- W2953092313 hasRelatedWork W2161912833 @default.
- W2953092313 hasRelatedWork W2249717973 @default.
- W2953092313 hasRelatedWork W2388049988 @default.
- W2953092313 hasRelatedWork W2776521969 @default.
- W2953092313 hasRelatedWork W2952856823 @default.
- W2953092313 hasRelatedWork W3128918129 @default.
- W2953092313 hasRelatedWork W3163415025 @default.
- W2953092313 isParatext "false" @default.
- W2953092313 isRetracted "false" @default.
- W2953092313 magId "2953092313" @default.
- W2953092313 workType "article" @default.