Skip to content
<title>Channels - Computable analysis and notions of continuity in Coq :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Computable analysis and notions of continuity in Coq
Search for more channels:
Similar Items: Computable analysis and notions of continuity in Coq
Channel Options
View Record
Explore related channels
Quick Look
Deciding Kleene Algebras in Coq
Quick Look
Hilbert's Tenth Problem in Coq (Extended Version)
Quick Look
Algebraic Notions of Termination
Quick Look
Type classes for efficient exact real arithmetic in Coq
Quick Look
Relating coalgebraic notions of bisimulation
Quick Look
Formalized linear algebra over Elementary Divisor Rings in Coq
Quick Look
Relating two standard notions of secrecy
Quick Look
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Quick Look
Minimality Notions via Factorization Systems and Examples
Quick Look
Vergangenheitsbewältigung: Historikerstreit and the Notion of Continued Responsibility
Quick Look
Notions of Anonymous Existence in Martin-Löf Type Theory
Quick Look
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
Quick Look
Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$
Quick Look
Mitochondrial NAD kinase Pos5 is required for CoQ biosynthesis in yeasts
Quick Look
The principle of pointfree continuity
Quick Look
Continuous Regular Functions
Quick Look
Continuous Positional Payoffs
Quick Look
An Axiomatic Analysis of Proportionality Notions in Approval-Based Multiwinner Voting
Quick Look
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Quick Look
Predicative theories of continuous lattices
Quick Look
Separators in Continuous Petri Nets
Quick Look
Expressiveness of Metric modalities for continuous time
Quick Look
Semi-continuous Sized Types and Termination
Quick Look
On the Relation of Interaction Semantics to Continuations and Defunctionalization
Load more items
View Record
Prev
Explore related channels
Next
