| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daowen Qiu |
Learning quantum finite automata with queries.  |
Math. Struct. Comput. Sci.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Huijun Hou, Hualin Miao, Qingguo Li |
The order-K-ification monads. |
Math. Struct. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro, Octavio Malherbe |
A concrete model for a typed linear algebraic lambda calculus. |
Math. Struct. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler |
Two-level type theory and applications - ERRATUM. |
Math. Struct. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxu Chen, Hui Kou, Zhenchao Lyu, Xiaolin Xie |
A construction of free dcpo-cones. |
Math. Struct. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fernández-Duque, Quentin Gougeon |
Fixed point logics and definable topological properties. |
Math. Struct. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Rosický |
Discrete equational theories. |
Math. Struct. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild |
A point-free perspective on lax extensions and predicate liftings. |
Math. Struct. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuya Sato 0001, Shin-ya Katsumata |
Divergences on monads for relational program logics. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Yamada |
Game semantics of Martin-Löf type theory. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Lethen |
A (machine-oriented) logic based on pattern matching. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Ahrens, Paige Randall North, Niels van der Weide |
Bicategorical type theory: semantics and syntax. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffael Stenzel |
On notions of compactness, object classifiers, and weak Tarski universes. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Farjudian, Eugenio Moggi |
Robustness, Scott continuity, and computability. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoquan Xu, Xinpeng Wen, Xiaoyong Xi |
Scott topology on Smyth power posets. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Sterling |
What should a generic object be? |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrik Buchholtz, Egbert Rijke |
The long exact sequence of homotopy n-groups. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Linan Chen, Florence Clerc, Prakash Panangaden |
Behavioural equivalences for continuous-time Markov processes. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin, Paolo Perrone, Dario Stein |
Dilations and information flow axioms in categorical probability. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Licata, Peter LeFanu Lumsdaine |
Special issue on homotopy type theory 2019 vol. 2. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Salah M. Elsayed, Keng Meng Ng |
Computable soft separation axioms. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom de Jong |
Apartness, sharp elements, and the Scott topology of domains. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ehrhard |
Coherent differentiation. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Can Zhou, Razin A. Shaikh, Yiran Li, Amin Farjudian |
A domain-theoretic framework for robustness analysis of neural networks. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone |
Preface to the special issue on metric and differential semantics. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia Borlido, Mai Gehrke |
Substitution Principle and semidirect products. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Taichi Uemura |
A general framework for the semantics of type theory. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Barbara König 0001, Daniela Petrisan |
Up-to techniques for behavioural metrics via fibrations. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Lu, Bin Zhao |
Local Yoneda completions of quasi-metric spaces. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarl G. Taxerås Flaten |
Univalent categories of modules. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Lucatelli Nunes, Matthijs Vákár |
CHAD for expressive total languages. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Benjamin |
Monoidal weak ω-categories as models of a type theory. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Sato, Jacques Garrigue |
An intuitionistic set-theoretical model of fully dependent CC. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hualin Miao, Xiaoyong Xi, Qingguo Li, Dongsheng Zhao |
Not every countable complete distributive lattice is sober. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler |
Two-level type theory and applications. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Steffen Jost |
Two decades of automatic amortized resource analysis. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Matej Dostál, Jirí Velebil |
A categorical view of varieties of ordered algebras. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolai Kraus, Jakob von Raumer |
A rewriting coherence theorem with applications in homotopy type theory. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Aguirre 0001, Shin-ya Katsumata, Satoshi Kura 0001 |
Weakest preconditions in fibrations. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
The role of linearity in sharing analysis. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia |
On reduction and normalization in the computational core. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Battyányi, Karim Nour |
Normalization in the simply typed λμμ'ρθε-calculus. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahito Hasegawa, Stephen Lack, Guy McCusker |
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part II. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Palmgren |
From type theory to setoids and back. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoquan Xu, Meng Bao, Xiaoyuan Zhang |
On function spaces equipped with Isbell topology and Scott topology. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Hamana |
Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Fiore |
Semantic analysis of normalisation by evaluation for typed lambda calculus. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuele Giraudo |
The combinator M and the Mockingbird lattice. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi |
String diagram rewrite theory III: Confluence with and without Frobenius. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual |
Preserving consistency in geometric modeling with graph transformations. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Petrakis |
Proof-relevance in Bishop-style constructive mathematics. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Mazo, Marie-Andrée Jacob-Da Col, Laurent Fuchs, Nicolas Magaud, Gaëlle Skapin |
Some representations of real numbers using integer sequences. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Koji Nakazawa, Ken-etsu Fujita, Yuta Imagawa |
Z property for the shuffling calculus. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Forest 0001, Samuel Mimram |
Rewriting in Gray categories with applications to coherence. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, Pilar Selene Linares-Arévalo |
A dual-context sequent calculus for the constructive modal logic S4. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Gomes 0001, Alexandre Madeira, Luís Soares Barbosa |
Weighted synchronous automata. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago |
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria |
Bisimulation as a logical relation. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Preto, Marcelo Finger |
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Donald Sannella, Ulrich Schöpp |
Preface for the special issue in homage to Martin Hofmann Part 2. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott |
Detection and diagnosis of deviations in distributed systems of autonomous agents. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Jens Bruchertseifer |
Synchronizing words and monoid factorization, yielding a new parameterized complexity class? |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Cottrell, Soichiro Fujii |
Hom weak ω-categories of a weak ω-category. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin He, Huaming Zhang, Yijie Han |
On Petrie cycle and Petrie tour partitions of 3- and 4-regular plane graphs. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann 0001, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger |
Type-based analysis of logarithmic amortised complexity. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bataille |
Quantum circuits generating four-qubit maximally entangled states. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Manat Mustafa, Sergei Ospichev |
Rogers semilattices of punctual numberings. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk |
Monoidal reverse differential categories. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bugra Çaskurlu, Özgün Ekici, Fatih Erdem Kizilkaya |
On existence of equilibrium under social coalition structures. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler |
Indexed and fibered structures for partial and total correctness assertions. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Xavier, Carlos Olarte, Elaine Pimentel |
A linear logic framework for multimodal logics. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Garner |
The costructure-cosemantics adjunction for comodels for computational effects. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty, Giselle Reis |
Preface to Special Issue: LSFA 2019 and 2020. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Leiß |
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras - A categorical Chomsky-Schützenberger theorem. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Chenavier, Benjamin Dupont, Philippe Malbos |
Confluence of algebraic rewriting systems. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong Shen 0003, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao |
Hofmann-Mislove type definitions of non-Hausdorff spaces. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu 0001 |
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann 0001, Jérémy Ledent |
A quantitative model for simply typed λ-calculus. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Longchun Wang, Qingguo Li |
Consistent disjunctive sequent calculi and Scott domains. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunying Ren, Dachuan Xu, Donglei Du, Min Li 0028 |
An improved primal-dual approximation algorithm for the k-means problem with penalties. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Samuel Mimram |
Introduction to the special issue: Confluence. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Angsheng Li, Jianer Chen, Qilong Feng, Jinhui Xu 0001 |
Preface. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide |
Bicategories in univalent foundations. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Cherubini, Egbert Rijke |
Modal descent. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Raussen |
Strictifying and taming directed paths in Higher Dimensional Automata. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini |
Elementary fibrations of enriched groupoids. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Szabó, Jörg H. Siekmann |
E-Unification based on Generalized Embedding. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Xiaodong Jia 0002 |
Separating minimal valuations, point-continuous valuations, and continuous valuations. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Ralf Vogler |
Three improvements to the top-down solver. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto Rivieccio, Ramon Jansana |
Quasi-Nelson algebras and fragments. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin E. Bidlingmaier |
An interpretation of dependent type theory in a model category of locally cartesian closed categories. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Copello, Nora Szasz, Álvaro Tasistro |
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Fiore, Philip Saville |
Coherence for bicategorical cartesian closed structure. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Fabian Ruch, Christian Sattler |
Constructive sheaf models of type theory. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahito Hasegawa, Stephen Lack, Guy McCusker |
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part I. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jetze Zoethout |
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Angiuli, Guillaume Brunerie, Thierry Coquand, Robert Harper 0001, Kuen-Bang Hou (Favonia), Daniel R. Licata |
Syntax and models of Cartesian cubical type theory. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Coulembier, Ross Street, Michel van den Bergh |
Freely adjoining monoidal duals. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq |
Products and projective limits of continuous valuations on T0 spaces. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license