Matches in SemOpenAlex for { <https://semopenalex.org/work/W2740804611> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2740804611 abstract "We formulate a logical description of the functional programming language Miranda. Distinctive features include a full treatment of pattern match- ing with repeated variables and the charaeterisation of various (sub-)domains, like the defined natural numbers and finite definite lists, by means of new quantifiers. These quantifiers are introduced by induction rules, and also carry elimination rules. We also discuss the rrle of fixed point induction and issues of modularisation and scale." @default.
- W2740804611 created "2017-08-08" @default.
- W2740804611 creator A5039766794 @default.
- W2740804611 date "1989-01-01" @default.
- W2740804611 modified "2023-09-24" @default.
- W2740804611 title "Formal Aspects of Computing" @default.
- W2740804611 cites W1507693023 @default.
- W2740804611 cites W1570311220 @default.
- W2740804611 cites W1576105375 @default.
- W2740804611 cites W172004165 @default.
- W2740804611 cites W1741698332 @default.
- W2740804611 cites W1970495662 @default.
- W2740804611 cites W2151384546 @default.
- W2740804611 cites W2157279226 @default.
- W2740804611 cites W22089940 @default.
- W2740804611 cites W3146939433 @default.
- W2740804611 cites W362286778 @default.
- W2740804611 hasPublicationYear "1989" @default.
- W2740804611 type Work @default.
- W2740804611 sameAs 2740804611 @default.
- W2740804611 citedByCount "0" @default.
- W2740804611 crossrefType "journal-article" @default.
- W2740804611 hasAuthorship W2740804611A5039766794 @default.
- W2740804611 hasConcept C10138342 @default.
- W2740804611 hasConcept C118615104 @default.
- W2740804611 hasConcept C128838566 @default.
- W2740804611 hasConcept C162324750 @default.
- W2740804611 hasConcept C184264201 @default.
- W2740804611 hasConcept C199360897 @default.
- W2740804611 hasConcept C2776299755 @default.
- W2740804611 hasConcept C33923547 @default.
- W2740804611 hasConcept C41008148 @default.
- W2740804611 hasConcept C80444323 @default.
- W2740804611 hasConceptScore W2740804611C10138342 @default.
- W2740804611 hasConceptScore W2740804611C118615104 @default.
- W2740804611 hasConceptScore W2740804611C128838566 @default.
- W2740804611 hasConceptScore W2740804611C162324750 @default.
- W2740804611 hasConceptScore W2740804611C184264201 @default.
- W2740804611 hasConceptScore W2740804611C199360897 @default.
- W2740804611 hasConceptScore W2740804611C2776299755 @default.
- W2740804611 hasConceptScore W2740804611C33923547 @default.
- W2740804611 hasConceptScore W2740804611C41008148 @default.
- W2740804611 hasConceptScore W2740804611C80444323 @default.
- W2740804611 hasLocation W27408046111 @default.
- W2740804611 hasOpenAccess W2740804611 @default.
- W2740804611 hasPrimaryLocation W27408046111 @default.
- W2740804611 hasRelatedWork W1515444786 @default.
- W2740804611 hasRelatedWork W1584137897 @default.
- W2740804611 hasRelatedWork W195403415 @default.
- W2740804611 hasRelatedWork W1992794735 @default.
- W2740804611 hasRelatedWork W2109775380 @default.
- W2740804611 hasRelatedWork W2134553977 @default.
- W2740804611 hasRelatedWork W2184413803 @default.
- W2740804611 hasRelatedWork W2200042429 @default.
- W2740804611 hasRelatedWork W2200330162 @default.
- W2740804611 hasRelatedWork W2343594650 @default.
- W2740804611 hasRelatedWork W2505239942 @default.
- W2740804611 hasRelatedWork W2566284873 @default.
- W2740804611 hasRelatedWork W2595800352 @default.
- W2740804611 hasRelatedWork W2741834483 @default.
- W2740804611 hasRelatedWork W2912466821 @default.
- W2740804611 hasRelatedWork W2949605788 @default.
- W2740804611 hasRelatedWork W3089356431 @default.
- W2740804611 hasRelatedWork W3121221891 @default.
- W2740804611 hasRelatedWork W71343783 @default.
- W2740804611 hasRelatedWork W2185650591 @default.
- W2740804611 isParatext "false" @default.
- W2740804611 isRetracted "false" @default.
- W2740804611 magId "2740804611" @default.
- W2740804611 workType "article" @default.