Results 11 to 20 of about 7,042,113 (292)
Constructive type classes in Isabelle
, 2007 We reconsider the well-known concept of Haskell-style type classes within the logical framework of Isabelle. So far, axiomatic type classes in Isabelle merely account for the logical aspect as predicates over types, while the operational part is only a ...
Florian Haftmann, Makarius Wenzel
core +4 more sources
Constructive Type Theory, an appetizer [PDF]
Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf ...
Crosilla, Laura
core +5 more sources
Applications of constructive developmental theory to the studies of leadership development : a systematic review [PDF]
, 2008 Purpose. The purpose of this dissertation is to present three main outcomes of the systematic review undertaken: - A synthesis of extant literature on leadership development from the angle of constructive developmental theory.
Florio, Linda
core +7 more sources
Some New Fourier and Jackson-Nikol'skii Type Inequalities In Unbounded Orthonormal Systems [PDF]
, 2021 We consider the generalized Lorentz space L_ψ,q defined via a continuous and concave function ψ and the Fourier series of a function with respect to an unbounded orthonormal system.
Akishev, G. +11 more
core +1 more source
Constructive Proofs or Constructive Statements? [PDF]
, 2005 In this work the following question is considered: is Sergeraert's\Constructive Algebraic Topology" (CAT, in short) really constructive(in the strict logical sense of the word \constructive")? We have not an answer to that question, but we are interested
Rubio García, Julio
core +2 more sources
A modular construction of type theories
Logical Methods in Computer Science, 2023 The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a sub-theory of U corresponding to each of these systems, and prove that, when a proof in U uses only symbols of a ...
Frédéric Blanqui +4 more
openaire +6 more sources
Hajós-Type Constructions and Neighborhood Complexes [PDF]
SIAM Journal on Discrete Mathematics, 2020 Any graph $G$ with chromatic number $k$ can be constructed by iteratively performing certain graph operations on a sequence of graphs starting with $K_k$, resulting in a variety of Hajós-type constructions for $G$. Finding such constructions for a given graph or family of graphs is a challenging task.
Benjamin Braun, Julianne Vega
openaire +2 more sources
Teaching and Learning in Times of COVID-19: Uses of Digital Technologies During School Lockdowns
Frontiers in Psychology, 2021 The closure of schools as a result of COVID-19 has been a critical global incident from which to rethink how education works in all our countries. Among the many changes generated by this crisis, all teaching became mediated by digital technologies. This
Juan-Ignacio Pozo +3 more
doaj +1 more source
Constructions with Countable Subshifts of Finite Type [PDF]
Fundamenta Informaticae, 2013 We present constructions of countable two-dimensional subshifts of finite type (SFTs) with interesting properties. Our main focus is on properties of the topological derivatives and subpattern posets of these objects. We present a countable SFT whose iterated derivatives are maximally complex from the computational point of view, constructions of ...
Ville Salo, Ilkka Törmä
openaire +5 more sources
An Analysis of Tennenbaum's Theorem in Constructive Type Theory [PDF]
Logical Methods in Computer ScienceTennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers.
Marc Hermes, Dominik Kirst
doaj +1 more source