Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Bibliography

2018
Bacak M. et al."On proximal mappings with Young functions in uniformly convex Banach..."
(Article)
Kohlenbach U."A polynomial rate of asymptotic regularity for compositions of..."
(Article)
Kohlenbach U."Proof-theoretic methods in nonlinear analysis"
(In proceedings)
Kohlenbach U. et al."Quantitative results on Fejér monotone sequences"
(Article)

2017
Kohlenbach U. et al."A proof-theoretic bound extraction theorem for..."
(Article)
Kohlenbach U. et al."Quantitative asymptotic regularity for the composition of two mappings"
(Article)
Kohlenbach U."Recent progress in proof mining in nonlinear analysis"
(Article)
Streicher T."A Classical Realizability Model arising from a Stable Model of Untyped..."
(Article)

2016
Escardó M. et al."The intrinsic topology of Martin-Löf universes"
(Article)
Günzel D. et al."Logical metatheorems for abstract spaces axiomatized in positive..."
(Article)
Kohlenbach U."On the quantitative asymptotic behavior of strongly nonexpansive..."
(Article)
Koutsoukou-Argyraki A. et al."Effective asymptotic regularity for one-parameter nonexpansive..."
(Article)

2015
Fujiwara M. et al."Classical provability of uniform versions and intuitionistic..."
(Article)
Grohe M. et al."Pebble games and linear equations"
(Unpublished)
Kohlenbach U."On the disjunctive Markov principle"
(Article)
Koutsoukou-Argyraki A. et al."Rates of convergence and metastability for abstract Cauchy problems..."
(Article)
Maschio S. et al."Models of intuitionistic set theory in subtoposes of nested..."
(Article)
Otto M."Finite groupoids, finite coverings and symmetries in finite structures"
(Unpublished)

2014
Awodey S. et al."Relating first-order set theories, toposes and categories of classes."
(Article)
Barany V. et al."Querying the guarded fragment"
(Article)
Battenfeld I. et al."Observationally-induced algebras in Domain Theory"
(Article)
Blumensath A. et al."Decidability results for the boundedness problem"
(Article)
Grädel E. et al."The freedoms of (guarded) bisimulation"
(In a collection)
Gregoriades V."Choice free Fixed Point Property in separable Banach spaces"
(Article)
Gregoriades V."Classes of Polish spaces under effective Borel isomorphism"
(Article)
Körnlein D. et al."Rate of metastability for Bruck's iteration of pseudocontractive..."
(Article)
Kawamura A. et al."Complexity of Laplace's and Poisson's Equation"
(In proceedings)
Kawamura A. et al."Computational Complexity of Smooth Differential Equations"
(Article)
Khan M.A.A. et al."Quantitative image recovery theorems"
(Article)
Kohlenbach U. et al."Addendum to `Effective metastability for Halpern iterates in CAT(0)..."
(Article)
Kohlenbach U. et al."Fluctuations, effective learnability and metastability in analysis"
(Article)
Müller N. et al."From Calculus to Algorithms without Errors"
(In proceedings)

2013
Ambos-Spies K. et al."Real Benefit of Promises and Advice"
(In proceedings)
Fedel M. et al."Imprecise probabilities, bets, and functional analytic methods in..."
(Article)
Gaspar J."Negative translations not intuitionistically equivalent to the usual..."
(Article)
Heckmann R. et al."Quasicontinuous domains and the Smyth powerdomain"
(Article)
Herrmann C. et al."Satisfiability of cross product terms is complete for real..."
(In proceedings)
Keimel K."Sheaf Representations of algebraic systems. A personal historical..."
(Article)
Khan M.A.A. et al."Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic..."
(Article)
Otto M."Bisimulation and coverings for graphs and hypergraphs"
(In a collection)
Otto M."Expressive completeness through logically tractable models"
(Article)
Otto M."Groupoids, hypergraphs, and symmetries in finite models"
(In proceedings)
Pauly A. et al."Relative Computability and Uniform Continuity of Relations"
(Article)
Streicher T."Krivine's Classical Realizability from a Categorical Perspective"
(Article)

2012
Barany V. et al."Queries with guarded negation"
(In proceedings)
Barany V. et al."Queries with guarded negation"
(Unpublished)
Berg (van den) B. et al."A functional interpretation for nonstandard arithmetic."
(Article)
Gregoriades V."Turning Borel sets into clopen sets effectively"
(Article)
Grohe M. et al."Pebble games and linear equations"
(In proceedings)
Kawamura A. et al."Computational Complexity of Smooth Differential Equations"
(In proceedings)
Keimel K. et al."Extending algebraic operations to D-completions"
(Article)
Keimel K."Locally convex cones and the Schröder--Simpson theorem"
(Article)
Keimel K."On the equivalence of state transformer senmatics and predicate..."
(In proceedings)
Kieronski E. et al."Small substructures and decidability issues for first-order logic with..."
(Article)
Kohlenbach U."A uniform quantitative form of sequential weak compactness and..."
(Article)
Kohlenbach U. et al."Effective metastability for Halpern iterates in CAT(0) space."
(Article)
Kohlenbach U."Gödel functional interpretation and weak compactness"
(Article)
Kohlenbach U. et al."On the computational content of convergence proofs via Banach limitd."
(Article)
Kreuzer A.P."A logical analysis of the generalized Banach contractions principle."
(Article)
Kreuzer A.P."Non-principal ultrafilters, program extraction and higher order rev..."
(Article)
Kreuzer A.P."On the strength of weak compactness."
(Article)
Kreuzer A.P."Primitive recursion and the chain antichain principle."
(Article)
Kreuzer A. et al."Term extraction and Ramsey's theorem for pairs."
(Article)
Lietz P. et al."Realizability models refuting Ishihara's boundedness principle."
(Article)
Otto M."Highly acyclic groups, hypergraph covers and the guarded fragment"
(Article)
Otto M."On groupoids and hypergraphs"
(Unpublished)
Reus B. et al."A synthetic theory of sequential domains."
(Article)
Safarik P."A quantitative nonlinear strong ergodic theorem for Hilbert spaces."
(Article)
Schade K. et al."Effective metastability for modified Halpern iterations in CAT(0)..."
(Article)
Simpson A. et al."Constructive toposes with countable sums as models of constructive set..."
(Article)
Ziegler M."Real Computation with Least Discrete Advice"
(Article)

2011
Gärtner T. et al."Real Analytic Machines and Degrees"
(Article)
Goubault-Larrecq J. et al."Choquet-Kendall-Matheron theorems for non-Hausdorff spaces"
(Article)
Gregoriades V."The descriptive set-theoretic complexity of the set of points of..."
(Article)
Herrmann C. et al."Computational Complexity of Quantum Satisfiability"
(In proceedings)
Hofmann K.H. et al."A mathematician's view of an Italian 15th century painting: The..."
(Article)
Körnlein D. et al."Effective rates of convergence for Lipschitzian pseudocontractive..."
(Article)
Keimel K. et al."Relating Direct and Predicate Transformer Partial Correctness Seman..."
(Article)
Kohlenbach U."A note on the monotone functional interpretation"
(Article)
Kohlenbach U."Gödel's functional interpretation and its use in current..."
(In proceedings)
Kohlenbach U."On quantitative versions of theorems due to F.E. Browder and R...."
(Article)
Kohlenbach U."On the asymptotic behavior of odd operators"
(Article)
Kreuzer A.P."The cohesive principle and the Bolzano-Weierstraà principle."
(Article)
Otto M."Model theoretic methods for fragments of FO and special classes of..."
(In a collection)
Reus B. et al."Relative completeness for logics of functional programs."
(In proceedings)

2010
Barany V. et al."Querying the guarded fragment"
(In proceedings)
Briseid E.M."A New Uniformity for Asymptotic Contractions in the Sense of Kirk"
(Article)
Gaspar J. et al."On Tao's finitary infinite pigeonhole principle"
(Article)
Kartzow A."Collapsible Pushdown Graphs of Level 2 are Tree-Automatic"
(In proceedings)
Kohlenbach U. et al."Asymptotically nonexpansive mappings in uniformly convex hyperbolic..."
(Article)
Kohlenbach U."On the logical analysis of proofs based on nonseparable Hilbert space..."
(In proceedings)
Otto M."Highly acyclic groups, hypergraph covers and the guarded fragment"
(In proceedings)
Safarik P. et al."On the computational content of the Bolzano-Weierstrass principle"
(Article)

2009
Blumensath A. et al."Boundedness of monadic second-order formulae over finite words"
(In proceedings)
Briseid E.M."Logical Aspects of Rates of Convergence in Metric Spaces"
(Article)
Dawar A. et al."Modal Characterisation Theorems over Special Classes of Frames"
(Article)
Kartzow A."FO Model Checking on Nested Pushdown Trees"
(In proceedings)
Keimel K. et al."D-completions and the d-topology"
(Article)
Keimel K. et al."A Minkowksi Type Duality Mediating Between State and Predicate..."
(Article)
Keimel K."Abstract ordered compact convex sets and the algebras of the..."
(Article)
Keimel K."Abstract ordered compact convex sets and the algebras of the..."
(Article)
Keimel K."Bicontinuous domains and some old problems in domain theory"
(Article)
Keimel K. et al."Extending algebraic operations to D-completions"
(Article)
Keimel K. et al."Predicate transformers for convex powerdomains"
(Article)
Kohlenbach U. et al."A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces"
(Article)
Kreuzer A. et al."Ramsey's theorem for pairs and provably recursive functions"
(Article)
Otto M."Avoiding incidental homomorphisms into guarded covers"
(Technical report)
Streicher T."Forcing for IZF in Sheaf Toposes"
(Article)
Tix R. et al."Semantic Domains for Combining Probability and Non-determinism..."
(Article)

2008
Blumensath A."On the structure of graphs in the Caucal hierarchy"
(Article)
Blumensath A."Simple Monadic Theories"
(PhD thesis)
Briseid E.M."Fixed Points of Generalized Contractive Mappings"
(Article)
Gerhardy P. et al."General logical metatheorems for functional analysis"
(Article)
Keimel K."The Monad of Probability Measures over Compact Ordered Spaces and its..."
(Article)
Keimel K."Topological Cones: Functional Analysis in a..."
(Article)
Kohlenbach U."Applied Proof Theory: Proof Interpretations and their Use in..."
(Book)
Kohlenbach U."Effective bounds from proofs in abstract functional analysis"
(In a collection)
Kohlenbach U."Goedel's functional interpretation and its use in current mathematics"
(In a collection)
Kohlenbach U."Herbrand's theorem and extractive proof theory"
(Article)
Kohlenbach U."Interview on the Philosophy of Mathematics"
(In a collection)
Oliva P. et al."On Krivine's realizability interpretation of classical second-order..."
(Article)
Otto M. et al."A Lindstrom characterisation of the guarded fragment and of modal l..."
(In proceedings)

2007
Awodey S. et al."Relating first-order set theories and elementary toposes"
(Article)
Blumensath A. et al."Logical theories and compatible operations"
(In a collection)
Briseid E.M."A Rate of Convergence for Asymptotic Contractions"
(Article)
Briseid E.M."Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions"
(Article)
Briseid E.M."Some Results on Kirk's Asymptotic Contractions"
(Article)
Kohlenbach U. et al."Approximate fixed points of nonexpansive functions in product spaces"
(Article)
Kohlenbach U."Proof interpretations and the computational content of proofs in..."
(Article)
Kreutzer S. et al."Boundedness of monadic FO over acyclic structures"
(In proceedings)
Leuştean L."A quadratic rate of asymptotic regularity in CAT(0)-spaces"
(Article)
Leuştean L."Rates of asymptotic regularity for Halpern iterations of nonexpansive..."
(Article)
Streicher T. et al."Shoenfield is Goedel after Krivine"
(Article)

2006
Abbes S. et al."Projective topology on bifinite domains and applications"
(Article)
Blumensath A."A Model Theoretic Characterisation of Clique-Width"
(Article)
Blumensath A. et al."Recognizability, Hypergraph Operations, and Logical Types"
(Article)
Cohen B. et al."The extended probabilistic power domain monad over stably compact..."
(In proceedings)
Gerhardy P."A quantitative version of Kirk's fixed point theorem for asymptotic..."
(Article)
Gerhardy P. et al."Strongly uniform bounds from semi-constructive proofs"
(Article)
Goranko V. et al."Model Theory of Modal Logic"
(In a collection)
Gruenhage G. et al."Quotients of countably based spaces are not closed under sobrification."
(Article)
Hofmann M. et al."Well-foundedness in realizability"
(Article)
Keimel K."Topological cones: Foundations for a domain theoretical semantics..."
(Article)
Kohlenbach U."A logical uniform boundedness principle for abstract metric and..."
(Article)
Kohlenbach U. et al."Approximate fixed points of nonexpansive functions in product spaces"
(In proceedings)
Löw T. et al."Universality Results for Models in Locally Boolean Domains"
(In proceedings)
Leuştean L."Baer extensions of BL-algebras"
(Article)
Leuştean L."Proof mining in R-trees and hyperbolic spaces"
(Article)
Otto M."Bisimulation invariance and finite models"
(In a collection)
Otto M."The boundedness problem for monadic universal first-order logic"
(In proceedings)
Streicher T."Domain-theoretic Foundations of Functional Programming"
(Book)

2005
Blumensath A. et al."An Extension to Muchnik's Theorem"
(Article)
Dawar A. et al."Modal characterisation theorems over special classes of frames"
(In proceedings)
Georgescu G. et al."Pseudo-hoops"
(Article)
Gerhardy P. et al."Extracting Herbrand Disjuntions by Functional Interpretation"
(Article)
Gerhardy P. et al."General Logical Metatheorems for Functional Analysis"
(Article)
Gerhardy P."The Role of Quantifier Alternations in Cut Elimination"
(Article)
Hernest M.D. et al."A Complexity Analysis of Functional Interpretations"
(Article)
Keimel K. et al."Measure extension theorems for T-spaces"
(Article)
Kieronski E. et al."Small substructures and decidability issues for two-variable..."
(In proceedings)
Kohlenbach U. et al."Approximate fixed point property in product spaces (abstract)"
('Miscellaneous document')
Kohlenbach U."Higher order reverse mathematics"
(In a collection)
Kohlenbach U."Proof Interpretations and the Computational Content of Proofs"
('Miscellaneous document')
Kohlenbach U."Proof mining in functional analysis (abstract)"
(In proceedings)
Kohlenbach U."Some Logical Metatheorems with Applications in Functional Analysis"
(Article)
Kohlenbach U."Some computational aspects of metric fixed point theory"
(Article)
Leuştean L."Sheaf representations of BL-algebras"
(Article)
Reus B. et al."About Hoare logics for higher-order store"
(In proceedings)
Streicher T."Universes in Toposes"
(In a collection)
Wille A.M."A Gentzen system for involutive residuated lattices"
(Article)

2004
Akama Y. et al."An arithmetical hierarchy of the law of excluded middle and related..."
(In proceedings)
Alvarez Manilla M. et al."Valuations and measures on stably compact spaces"
(Article)
Barbălată C. et al."Average monthly liquid flow forecasting using neural networks"
('Miscellaneous document')
Blumensath A."Axiomatising tree-interpretable structures"
(Article)
Blumensath A. et al."Finite Presentations of Infinite Structures: Automata and..."
(Article)
Bunge M. et al."Definable Completeness"
(Article)
Burmeister P."Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras"
(In a collection)
Burmeister P."Galois Connections for Partial Algebras"
(In a collection)
Escardó M. et al."On the non-sequential nature of the interval-domain model of..."
(Article)
Keimel K. et al."Order environments of topological spaces"
(Article)
Keimel K."The probabilistic powerdomain for the upwards topology of a compact..."
(Article)
Kohlenbach U. et al."Bounds on iterations of asymptotically quasi-non-expansive mappings"
(In proceedings)
Leuştean L."Representations of many-valued algebras"
('Miscellaneous document')
Otto M."Elementary proof of the van Benthem-Rosen characterisation theorem"
(Technical report)
Otto M."Modal and guarded characterisation theorems over finite transition..."
(Article)
Reus B. et al."Semantics and logic of object calculi"
(Article)
Wille A.M."The variety of lattice-ordered monoids generated by the natural numbers"
(Article)

2003
Bénabou J. et al."Partial Toposes"
(Article)
Blumensath A."Axiomatising Tree-Interpretable Structures"
(In proceedings)
Blumensath A."Structures of Bounded Partition Width"
(PhD thesis)
Di Nola A. et al."Compact representations of BL-algebras"
(Article)
Gerhardy P."Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem"
('Miscellaneous document')
Gerhardy P."Refined Complexity Analysis of Cut Elimination"
(In proceedings)
Gierz G. et al."Continuous Lattices and Domains"
(Book)
Hodkinson I. et al."Finite conformal hypergraph covers and Gaifman cliques in finite..."
(Article)
Kohlenbach U. et al."Mann iterates of directionally nonexpansive mappings in hyperbolic..."
(Article)
Kohlenbach U. et al."Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics"
(Article)
Kohlenbach U. et al."Proof mining in L1-approximation"
(Article)
Kohlenbach U."Uniform asymptotic regularity for Mann iterates"
(Article)
Leuştean L. et al."Certifying Kalman Filters"
(Technical report)
Leuştean L."The prime and maximal spectra and the reticulation of BL-algebras"
(Article)
Roşu G. et al."Certifying optimality of state estimation programs"
(In proceedings)

2002
Berwanger D. et al."Automata for Guarded Fixed Point Logics"
(In a collection)
Berwanger D. et al."The Monadic Theory of Tree-like Structures"
(In a collection)
Blumensath A. et al."Finite Presentations of Infinite Structures: Automata and..."
(In proceedings)
Bunge M. et al."The Michael completion of a topos spread"
(Article)
Escardó M. et al."In domain realizability, not all functionals on C[-1,1]..."
(Article)
Georgescu G. et al."Some classes of pseudo-BL algebras"
(Article)
Grädel E. et al."Back and forth between guarded and modal logics"
(Article)
Hofmann M. et al."Completeness of continuation models for..."
(Article)
Kohlenbach U."Applied foundations: proof mining in analysis"
(Article)
Kohlenbach U."Foundational and mathematical uses of higher types"
(In a collection)
Kohlenbach U."On uniform weak König's lemma"
(Article)
Kohlenbach U."On weak Markov's principle"
(Article)
Leuştean L."Canonical models and filtrations in three-valued propositional modal..."
(Article)
Leuştean L."Liquid flow time series prediction using feed-forward neural networks..."
(Article)
Lietz P. et al."Impredicativity entails untypedness"
(Article)
Otto M."Modal and guarded characterisation theorems over finite transition..."
(In proceedings)

2001
Blumensath A."Prefix-Recognisable Graphs and Monadic Second-Order Logic"
(Technical report)
Kohlenbach U."A note on Spector's quantifier-free rule of extensionality"
(Article)
Kohlenbach U."A quantitative version of a theorem due to Borwein-Reich-Shafrir"
(Article)
Kohlenbach U."Intuitionistic choice and restricted classical logic"
(Article)
Kohlenbach U."On the computational content of the Krasnoselski and Ishikawa fixed..."
(In proceedings)
Leuştean L."Liquid flow time series prediction using feed-forward neural networks..."
(Article)
Neven F. et al."Adding FOR-loops to first-order logic"
(Article)
Otto M."Two-variable first-order logic over ordered domains"
(Article)

2000
Barbălată C. et al."Applications of feed-forward neural networks to ecological phenomena..."
(In proceedings)
Blumensath A. et al."Automatic Structures"
(In proceedings)
Blumensath A."Bounded Arithmetic and Descriptive Complexity"
(In proceedings)
Bunge M. et al."Distribution algebras and duality"
(Article)
Di Nola A. et al."Boolean products of BL-algebras"
(Article)
Grädel E. et al."Back and forth between guarded and modal logics"
(In proceedings)
Huth M. et al."Linear types, approximation, and topology"
(Article)
Kohlenbach U."Things that can and things that can't be done in PRA"
(Article)
Leuştean L."Some algebraic properties of non-commutative fuzzy structures"
(Article)
Otto M."An interpolation theorem"
(Article)
Otto M."Epsilon-logic is more expressive than first-order logic over finite..."
(Article)
Pribeanu C. et al."Consistence evaluation of a man-machine interaction language using..."
(Article)

1999
Blumensath A."Automatic Structures"
(PhD thesis)
Escardó M. et al."Induction and recursion on the partial real line with applications to..."
(Article)
Grädel E. et al."On logics with two variables"
(Article)
Grädel E. et al."Undecidability results for two-variable logics"
(Article)
Hoogland E. et al."Beth definability for the guarded fragment"
(In proceedings)
Keimel K. et al."Compact continuous L-domains"
(Article)
Kohlenbach U."A note on Goodman's theorem"
(Article)
Kohlenbach U."On the no-counterexample interpretation"
(Article)
Kohlenbach U."The use of a logical principle of uniform boundedness in analysis"
(In proceedings)
Marz M. et al."Full abstraction and universality via realisability"
(In proceedings)
Neven F. et al."Adding FOR-loops to first-order logic"
(In proceedings)
Otto M."Bisimulation-invariant Ptime and higher-dimensional mu-calculus"
(Article)
Otto M."Bounded-variable logics: two, three, and more"
(Article)
Otto M."Eliminating recursion in the mu-calculus"
(In proceedings)
Reus B. et al."General synthetic domain theory---a logical approach."
(Article)
Streicher T."Denotational completness revisited"
(Article)
Streicher T."Inductive construction of repletion"
(Article)

1998
Erker T. et al."The way-below relation of function spaces over semantic domains"
(Article)
Hofmann M. et al."The groupoid interpretation of type theory"
(In a collection)
Keimel K."Bi-continuous valuations"
(Article)
Kohlenbach U."Arithmetizing proofs in analysis"
(In proceedings)
Kohlenbach U."Elimination of Skolem functions for monotone formulas in analysis"
(Article)
Kohlenbach U."On the arithmetical content of restricted forms of comprehension,..."
(Article)
Kohlenbach U."Proof theory and computational analysis"
(Article)
Kohlenbach U."Relative constructivity"
(Article)
Kolaitis P. et al."On the boundedness problem for two-variable first-order logic"
(In proceedings)
Reus B. et al."Classical logic, continuation semantics and abstract machines"
(Article)

1997
Otto M."Bounded variable logics and counting -- A study in finite models"
(Book)
Otto M."Canonization for two variables and puzzles on the square"
(Article)
Otto M."Capturing bisimulation-invariant Ptime"
(In proceedings)
Otto M."The logic of explicitly representation-invariant circuits"
(Article)
Reus B. et al."General synthetic domain theory---a logical approach (extended..."
(In proceedings)

1996
Altenkirch T. et al."Reduction-free normalisation for a polymorphic system"
(In proceedings)
Kohlenbach U."Analysing proofs in analysis"
(In proceedings)
Kohlenbach U."Mathematically strong subystems of analysis with low rate of growth of..."
(Article)
Otto M. et al."First-order queries on databases embedded in an infinite structure"
(Article)
Otto M."The expressive power of fixed-point logic with counting"
(Article)

1995
Altenkirch T. et al."Categorical reconstruction of a reduction free normalization proof."
(In proceedings)
Keimel K."Some trends in lattice-ordered groups and rings"
(In proceedings)
Kohlenbach U."A note on the Π"
(Article)
Otto M."Note on the number of monadic quantifiers in monadic Σ"
(Article)
Otto M."Ptime canonization for two variables with counting"
(In proceedings)

1994
Mück A. et al."A tiny constraint functional logic language and its continuation..."
(In proceedings)
Otto M."Generalized quantifiers for simple properties"
(In proceedings)
Streicher T."A universality theorem for PCF with recursive types, parallel-or and..."
(Article)

1993
Kohlenbach U."Effective moduli from ineffective uniqueness proofs. An unwinding o..."
(Article)
Kohlenbach U."New effective moduli of uniqueness and uniform a-priori estimates for..."
(Article)

1992
Broy M. et al."Modular functional modelling of Petri nets with individual tokens."
(In proceedings)
Keimel K. et al."Ordered Cones and Approximation"
(Book)
Kohlenbach U."Effective bounds from ineffective proofs in analysis: an applicatio..."
(Article)
Kohlenbach U."Pointwise hereditary majorization and some applications"
(Article)
Kohlenbach U."Remarks on Herbrand normal forms and Herbrand Realizations"
(Article)
Otto M."Automorphism properties of stationary logic"
(Article)
Otto M."EM functors for a class of generalized quantifiers"
(Article)
Streicher T."Dependence and independence results for (impredicative) calculi of..."
(Article)
Streicher T."Independence of the induction principle and the axiom of choice in the..."
(Article)

1991
Broy M. et al."Specification and design of shared resource arbitration."
(Article)
Jacobs B. et al."Relating models of impredicative type theories."
(In proceedings)
Streicher T."Semantics of Type Theory"
(Book)

1989
Streicher T."Independence results for calculi of dependent types."
(In proceedings)

1987
Broy M. et al."Views of distributed systems."
(In proceedings)
Otto M."A reduction scheme for phase spaces with almost-Kähler symmetry -..."
(Article)

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!