Skip to content
<title>Channels - Rigorous Function Calculi in Ariadne :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Rigorous Function Calculi in Ariadne
Search for more channels:
Similar Items: Rigorous Function Calculi in Ariadne
Channel Options
View Record
Explore related channels
Quick Look
The Complexity of Enriched Mu-Calculi
Quick Look
Automated Synthesis of Tableau Calculi
Quick Look
Strong normalisation for applied lambda calculi
Quick Look
Enriched MU-Calculi Module Checking
Quick Look
Feasible Interpolation for QBF Resolution Calculi
Quick Look
Rule Formats for Nominal Process Calculi
Quick Look
Dual-Context Calculi for Modal Logic
Quick Look
Psi-Calculi Revisited: Connectivity and Compositionality
Quick Look
Canonical calculi with (n,k)-ary quantifiers
Quick Look
Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
Quick Look
Katharina Lescailje’s Ariadne and Public Femininity
Quick Look
A Sorted Semantic Framework for Applied Process Calculi
Quick Look
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Quick Look
An expressive completeness theorem for coalgebraic modal mu-calculi
Quick Look
Predicting Thyroid Dysfunction Using Classical Machine Learning With Rigorous Statistical Evaluation
Quick Look
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Quick Look
Non-idempotent types for classical calculi in natural deduction style
Quick Look
Psi-calculi: a framework for mobile processes with nominal data and logic
Quick Look
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
Quick Look
Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Quick Look
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Quick Look
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
Quick Look
Nonlinear function-on-function regression by RKHS
Quick Look
Analytical Rigor and Conceptual Clarity in Curriculum Implementation Research [Letter]
Load more items
View Record
Prev
Explore related channels
Next
