Search

Your search keyword '"Simple type"' showing total 447 results

Search Constraints

Start Over You searched for: Descriptor "Simple type" Remove constraint Descriptor: "Simple type"
447 results on '"Simple type"'

Search Results

1. Polymorphic Types in Erlang Function Specifications

2. Theory of λ-Algebras

3. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

5. Near Semi-rings and Lambda Calculus

7. Realizability for Peano Arithmetic with Winning Conditions in HON Games

8. On Bar Recursion and Choice in a Classical Setting

12. Analisis Rantai Pasok Pabrik Resiprene 35 PT Industri Karet Nusantara

13. Java Type Unification with Wildcards

14. On the Complexity of Termination Inference for Processes

18. Simple Types in Type Theory: Deep and Shallow Encodings

19. Logical Semantics of Types for Concurrency

20. XML Schema Evolution: Incremental Validation and Efficient Document Adaptation

22. A Semantic Transformation Approach for ISO 15926

23. Combining Type Theory and Untyped Set Theory

24. Integrating XML Schema Language with Databases for B2B Collaborations

26. Rank-2 Intersection and Polymorphic Recursion

27. Category Theoretical Semantics for Pregroup Grammars

28. OWL-Eu: Adding Customised Datatypes into OWL

35. Stig Kanger’s Theory Of Rights

36. Russellian Type Theory and Semantical Paradoxes

39. Church’s Lambda Delta Calculus

42. A note on flag-transitive automorphism groups of 2-designs with $$\lambda \ge (r,\lambda )^2$$

43. A new three parameter Fréchet model with mathematical properties and applications

Catalog

Books, media, physical & digital resources