Skip to content
<title>Channels - Relational Models for the Lambek Calculus with Intersection and Constants :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Relational Models for the Lambek Calculus with Intersection and Constants
Search for more channels:
Similar Items: Relational Models for the Lambek Calculus with Intersection and Constants
Channel Options
View Record
Explore related channels
Quick Look
Intersection Types for the lambda-mu Calculus
Quick Look
Efficient Evaluation of Arbitrary Relational Calculus Queries
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
On computable approximations of Landau's constant
Quick Look
Addressing Machines as models of lambda-calculus
Quick Look
Finite state verifiers with constant randomness
Quick Look
Constant-delay enumeration for SLP-compressed documents
Quick Look
The Safe Lambda Calculus
Quick Look
Completeness of the ZX-Calculus
Quick Look
The Many-Worlds Calculus
Quick Look
Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Quick Look
On the Convergence of Projected Policy Gradient for Any Constant Step Sizes
Quick Look
The Algebraic Intersection Type Unification Problem
Quick Look
Inhabitation for Non-idempotent Intersection Types
Quick Look
A calculus for costed computations
Quick Look
A Concurrent Pattern Calculus
Quick Look
Privacy by typing in the $pi$-calculus
Quick Look
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Quick Look
Non-idempotent intersection types and strong normalisation
Quick Look
Mixin Composition Synthesis based on Intersection Types
Quick Look
A strong call-by-need calculus
Quick Look
Resource Usage Analysis for the Pi-Calculus
Quick Look
Algebraic Pattern Matching in Join Calculus
Quick Look
Consistency and Completeness of Rewriting in the Calculus of Constructions
Load more items
View Record
Prev
Explore related channels
Next
