447 results on '"Simple type"'
Search Results
2. Theory of λ-Algebras
3. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
4. Complex Types
5. Near Semi-rings and Lambda Calculus
6. Loops and Iterators
7. Realizability for Peano Arithmetic with Winning Conditions in HON Games
8. On Bar Recursion and Choice in a Classical Setting
9. Binding an HTTP Request into CLR Objects
10. Gödel, Leibniz and 'Russell’s Mathematical Logic'
11. How to Transmit Information Reliably with Unreliable Elements (Shannon’s Theorem)
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
15. Protocol Encoding
16. Validating XML Documents
17. Prediction of Natural Disasters and its Application to Education Using Simple Type Space Potential Fluctuation Detector
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
21. Validating XML Documents
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
25. Type theory in Principia Mathematica
26. Rank-2 Intersection and Polymorphic Recursion
27. Category Theoretical Semantics for Pregroup Grammars
28. OWL-Eu: Adding Customised Datatypes into OWL
29. Operator Overloading
30. An Intuitive TTCN-3 Data Presentation Format
31. A Fully Abstract Model for Higher-Order Mobile Ambients
32. The Essence of XML (Preliminary Version)
33. Denotators
34. XML Schemas
35. Stig Kanger’s Theory Of Rights
36. Russellian Type Theory and Semantical Paradoxes
37. Confluence of Untyped Lambda Calculus via Simple Types
38. Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract)
39. Church’s Lambda Delta Calculus
40. The Adjective 'Vieux': The Point of View of 'Generative Lexicon'
41. Differential Equations for the Simplest Types of Vibration
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
44. Marcus Contextual Languages and their Cut-and-Paste Properties
45. Using Functor Categories to Generate Intermediate Code
46. Design of the Programming Language Forsythe
47. Satisfying subtype inequalities in polynomial space
48. Introduction
49. Unique normal form property of Higher-Order Rewriting Systems
50. Second-Order Isomorphic Types
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.