81 results on '"Honsell, Furio"'
Search Results
2. Implementing Cantor’s Paradise
3. L ax F: Side Conditions and External Evidence as Monads
4. Intersection Types λS∩
5. Unfixing the Fixpoint: The Theories of the λY-Calculus
6. A protoype-based approach to object evolution.
7. Categories of Coalgebraic Games
8. Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
9. Conway Games, Coalgebraically
10. RPO, Second-Order Contexts, and λ-Calculus
11. A Conditional Logical Framework
12. “Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models
13. Mobility Types in Coq
14. Strict Geometry of Interaction Graph Models
15. A Coalgebraic Description of Web Interactions
16. Filter Models and Easy Terms
17. An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
18. Constructive Data Refinement in Typed Lambda Calculus
19. Pre-logical Relations
20. Operations, Collections and Sets within a General Axiomatic Framework
21. Game Semantics for Untyped λβη-Calculus
22. Final semantics for untyped λ-calculus
23. Countable Non-Determinism and Uncountable Limits
24. Processes and hyperuniverses
25. A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning
26. You need to show that you are not a robot
27. Some results on the full abstraction problem for restricted lambda calculi
28. A theory of classes for a functional language with effects
29. Operational semantics in a natural deduction setting
30. The lazy call-by-value λ-calculus
31. Plugging-in proof development environments usingLocksinLF
32. Social robots as cultural objects: The sixth dimension of dynamicity?
33. Towards a Logical Framework with Intersection and Union Types
34. Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks
35. An Overview of the Edinburgh Logical Framework
36. Models of Self-Descriptive Set Theories
37. Models of Self-Descriptive Set Theories
38. A natural deduction treatment of operational semantics
39. Countable non-determinism and uncountable limits
40. Categories of Coalgebraic Games with Selective Sum
41. An open logical framework
42. LFP
43. Equivalences and Congruences on Infinite Conway Games
44. Conway games, algebraically and coalgebraically
45. RPO, Second-order Contexts, and Lambda-calculus
46. On the completeness of order-theoretic models of the λ-calculus
47. A type assignment system for game semantics
48. Coalgebraic description of generalised binary methods
49. A Framework for Defining Logical Frameworks
50. Some Properties and Some Problems on Set Functors
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.