Search dblp for Publications

export results for "weak calculus"

 download as .bib file

@inproceedings{DBLP:conf/eucc/BednarczukBST23,
  author       = {Ewa M. Bednarczuk and
                  Giovanni Bruccola and
                  Gabriele Scrivanti and
                  The Hung Tran},
  title        = {Calculus rules for proximal {\(\epsilon\)}-subdifferentials and inexact
                  proximity operators for weakly convex functions},
  booktitle    = {{ECC}},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2023}
}

@article{DBLP:journals/mcma/AkiyamaY22,
  author       = {Naho Akiyama and
                  Toshihiro Yamada},
  title        = {A high order weak approximation for jump-diffusions using Malliavin
                  calculus and operator splitting},
  journal      = {Monte Carlo Methods Appl.},
  volume       = {28},
  number       = {2},
  pages        = {97--110},
  year         = {2022}
}

@inproceedings{DBLP:conf/wollic/PachecoT22,
  author       = {Leonardo Pacheco and
                  Kazuyuki Tanaka},
  title        = {The Alternation Hierarchy of the {\(\mu\)}-calculus over Weakly Transitive
                  Frames},
  booktitle    = {WoLLIC},
  series       = {Lecture Notes in Computer Science},
  volume       = {13468},
  pages        = {207--220},
  publisher    = {Springer},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2211-14525,
  author       = {Ewa M. Bednarczuk and
                  Giovanni Bruccola and
                  Gabriele Scrivanti and
                  The Hung Tran},
  title        = {Calculus rules for proximal {\(\epsilon\)}-subdifferentials and inexact
                  proximity operators for weakly convex functions},
  journal      = {CoRR},
  volume       = {abs/2211.14525},
  year         = {2022}
}

@inproceedings{DBLP:conf/itp/0002KSW21,
  author       = {Yannick Forster and
                  Fabian Kunze and
                  Gert Smolka and
                  Maxi Wuttke},
  title        = {A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value
                  {\(\lambda\)}-Calculus},
  booktitle    = {{ITP}},
  series       = {LIPIcs},
  volume       = {193},
  pages        = {19:1--19:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021}
}

@article{DBLP:journals/pacmpl/ForsterKR20,
  author       = {Yannick Forster and
                  Fabian Kunze and
                  Marc Roth},
  title        = {The weak call-by-value {\(\lambda\)}-calculus is reasonable for both
                  time and space},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {27:1--27:23},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-1902-07515,
  author       = {Yannick Forster and
                  Fabian Kunze and
                  Marc Roth},
  title        = {The Weak Call-By-Value {\(\lambda\)}-Calculus is Reasonable for Both
                  Time and Space},
  journal      = {CoRR},
  volume       = {abs/1902.07515},
  year         = {2019}
}

@article{DBLP:journals/jlp/DaillerHMM18,
  author       = {Sylvain Dailler and
                  David Hauzar and
                  Claude March{\'{e}} and
                  Yannick Moy},
  title        = {Instrumenting a weakest precondition calculus for counterexample generation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {99},
  pages        = {97--113},
  year         = {2018}
}

@article{DBLP:journals/jscic/BaoCHZ18,
  author       = {Gang Bao and
                  Yanzhao Cao and
                  Yongle Hao and
                  Kai Zhang},
  title        = {A Robust Numerical Method for the Random Interface Grating Problem
                  via Shape Calculus, Weak Galerkin Method, and Low-Rank Approximation},
  journal      = {J. Sci. Comput.},
  volume       = {77},
  number       = {1},
  pages        = {419--442},
  year         = {2018}
}

@inproceedings{DBLP:conf/tacas/HausmannSD18,
  author       = {Daniel Hausmann and
                  Lutz Schr{\"{o}}der and
                  Hans{-}Peter Deifel},
  title        = {Permutation Games for the Weakly Aconjunctive {\textbackslash}mu {\(\mu\)}
                  -Calculus},
  booktitle    = {{TACAS} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {361--378},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/itp/ForsterS17,
  author       = {Yannick Forster and
                  Gert Smolka},
  title        = {Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq},
  booktitle    = {{ITP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10499},
  pages        = {189--206},
  publisher    = {Springer},
  year         = {2017}
}

@article{DBLP:journals/corr/abs-1710-08996,
  author       = {Daniel Hausmann and
                  Lutz Schr{\"{o}}der and
                  Hans{-}Peter Deifel},
  title        = {Permutation Games for the Weakly Aconjunctive mu-Calculus},
  journal      = {CoRR},
  volume       = {abs/1710.08996},
  year         = {2017}
}

@inproceedings{DBLP:conf/csl/ParysT16,
  author       = {Pawel Parys and
                  Szymon Torunczyk},
  title        = {Models of Lambda-Calculus and the Weak {MSO} Logic},
  booktitle    = {{CSL}},
  series       = {LIPIcs},
  volume       = {62},
  pages        = {11:1--11:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016}
}

@article{DBLP:journals/scp/AstefanoaeiBDM13,
  author       = {Lacramioara Astefanoaei and
                  Frank S. de Boer and
                  Mehdi Dastani and
                  John{-}Jules Ch. Meyer},
  title        = {A weakest precondition calculus for BUnity},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {9},
  pages        = {1278--1293},
  year         = {2013}
}

@inproceedings{DBLP:conf/rta/SeveriV11,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  title        = {Weakening the Axiom of Overlap in Infinitary Lambda Calculus},
  booktitle    = {{RTA}},
  series       = {LIPIcs},
  volume       = {10},
  pages        = {313--328},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011}
}

@incollection{DBLP:books/sp/09/Zielonka09,
  author       = {Wojciech Zielonka},
  title        = {Weak Implicational Logics Related to the Lambek Calculus - Gentzen
                  versus Hilbert Formalisms},
  booktitle    = {Towards Mathematical Philosophy},
  series       = {Trends in logic},
  volume       = {28},
  pages        = {201--212},
  publisher    = {Springer},
  year         = {2009}
}

@article{DBLP:journals/imamci/Licea08,
  author       = {Gerardo S{\'{a}}nchez Licea},
  title        = {Weakening the strengthened condition of Weierstrass for the isoperimetric
                  problem in the calculus of variations},
  journal      = {{IMA} J. Math. Control. Inf.},
  volume       = {25},
  number       = {1},
  pages        = {59--74},
  year         = {2008}
}

@article{DBLP:journals/tcs/LagoM08,
  author       = {Ugo Dal Lago and
                  Simone Martini},
  title        = {The weak lambda calculus as a reasonable machine},
  journal      = {Theor. Comput. Sci.},
  volume       = {398},
  number       = {1-3},
  pages        = {32--50},
  year         = {2008}
}

@article{DBLP:journals/igpl/ArbiserKR07,
  author       = {Ariel Arbiser and
                  Fairouz Kamareddine and
                  Alejandro R{\'{\i}}os},
  title        = {The Weak Normalization of the Simply Typed lambda-\emph{s\({}_{\mbox{e}}\)}-calculus},
  journal      = {Log. J. {IGPL}},
  volume       = {15},
  number       = {2},
  pages        = {121--147},
  year         = {2007}
}

@article{DBLP:journals/sigplan/BanerjeeBM07,
  author       = {Jayasri Banerjee and
                  Anup Kumar Bandyopadhyay and
                  Ajit Kumar Mandal},
  title        = {Some investigations on deadlock freedom issues of a cyclically connected
                  system using Dijkstra's weakest precondition calculus},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {42},
  number       = {5},
  pages        = {10--15},
  year         = {2007}
}

@article{DBLP:journals/sigsoft/BanerjeeBM07a,
  author       = {Jayasri Banerjee and
                  Anup Kumar Bandyopadhyay and
                  Ajit Kumar Mandal},
  title        = {Application of Dijkstra's weakest precondition calculus to Dining
                  Philosophers problem},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {32},
  number       = {4},
  year         = {2007}
}

@article{DBLP:journals/tcs/AlvesF05,
  author       = {Sandra Alves and
                  M{\'{a}}rio Florido},
  title        = {Weak linearization of the lambda calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {342},
  number       = {1},
  pages        = {79--103},
  year         = {2005}
}

@inproceedings{DBLP:conf/birthday/BlancLM05,
  author       = {Tomasz Blanc and
                  Jean{-}Jacques L{\'{e}}vy and
                  Luc Maranget},
  title        = {Sharing in the Weak Lambda-Calculus},
  booktitle    = {Processes, Terms and Cycles},
  series       = {Lecture Notes in Computer Science},
  volume       = {3838},
  pages        = {70--87},
  publisher    = {Springer},
  year         = {2005}
}

@inproceedings{DBLP:conf/vmcai/Lange05,
  author       = {Martin Lange},
  title        = {Weak Automata for the Linear Time {\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {{VMCAI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3385},
  pages        = {267--281},
  publisher    = {Springer},
  year         = {2005}
}

@article{DBLP:journals/fuin/JaninL04,
  author       = {David Janin and
                  Giacomo Lenzi},
  title        = {On the Rlationship Between Monadic and Weak Monadic Second Order Logic
                  on Arbitrary Trees, with Applications to the mu-Calculus},
  journal      = {Fundam. Informaticae},
  volume       = {61},
  number       = {3-4},
  pages        = {247--265},
  year         = {2004}
}

@article{DBLP:journals/iandc/Lin03,
  author       = {Huimin Lin},
  title        = {Complete inference systems for weak bisimulation equivalences in the
                  pi-calculus},
  journal      = {Inf. Comput.},
  volume       = {180},
  number       = {1},
  pages        = {1--29},
  year         = {2003}
}

@article{DBLP:journals/lisp/GortzRS03,
  author       = {Inge Li G{\o}rtz and
                  Signe Reuss and
                  Morten Heine S{\o}rensen},
  title        = {Strong Normalization from Weak Normalization by Translation into the
                  Lambda-I-Calculus},
  journal      = {High. Order Symb. Comput.},
  volume       = {16},
  number       = {3},
  pages        = {253--285},
  year         = {2003}
}

@inproceedings{DBLP:conf/rta/Forest02,
  author       = {Julien Forest},
  title        = {A Weak Calculus with Explicit Operators for Pattern Matching and Substitution},
  booktitle    = {{RTA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2378},
  pages        = {174--191},
  publisher    = {Springer},
  year         = {2002}
}

@inproceedings{DBLP:journals/entcs/Lippi07,
  author       = {Sylvain Lippi},
  title        = {Package Duplication in Interaction Nets and Weak Head Reduction in
                  the lambda-calculus},
  booktitle    = {{TERMGRAPH}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {72},
  number       = {1},
  pages        = {75--86},
  publisher    = {Elsevier},
  year         = {2002}
}

@article{DBLP:journals/moc/Kohatsu-Higa01,
  author       = {Arturo Kohatsu{-}Higa},
  title        = {Weak approximations. {A} Malliavin calculus approach},
  journal      = {Math. Comput.},
  volume       = {70},
  number       = {233},
  pages        = {135--172},
  year         = {2001}
}

@article{DBLP:journals/mscs/DavidG01,
  author       = {Ren{\'{e}} David and
                  Bruno Guillaume},
  title        = {A lambda-calculus with explicit weakening and explicit substitution},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {11},
  number       = {1},
  pages        = {169--206},
  year         = {2001}
}

@article{DBLP:journals/lmsjcm/Adams00,
  author       = {Andrew A. Adams},
  title        = {A Formalisation of Weak Normalisation (with Respect to Permutations)
                  of Sequent Calculus Proofs},
  journal      = {{LMS} J. Comput. Math.},
  volume       = {3},
  pages        = {1--26},
  year         = {2000}
}

@inproceedings{DBLP:conf/esslli/Andrei99,
  author       = {Stefan Andrei},
  title        = {Weak Equivalence in Propositional Calculus},
  booktitle    = {{ESSLLI} Student Papers},
  pages        = {79--90},
  publisher    = {Universiteit Utrecht Press},
  year         = {1999}
}

@article{DBLP:journals/tcs/CagmanH98,
  author       = {Naim {\c{C}}agman and
                  J. Roger Hindley},
  title        = {Combinatory Weak Reduction in Lambda Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {239--247},
  year         = {1998}
}

@inproceedings{DBLP:conf/cats/Maraist98,
  author       = {John Maraist},
  title        = {Separating Weakening and Contraction in a Linear Lambda Calculus},
  booktitle    = {{CATS}},
  series       = {Australian Computer Science Communications},
  volume       = {20},
  number       = {3},
  pages        = {151--166},
  publisher    = {Springer-Verlag Singapore Pte. Ltd.},
  year         = {1998}
}

@inproceedings{DBLP:conf/ftrtft/PandyaH98,
  author       = {Paritosh K. Pandya and
                  Dang Van Hung},
  title        = {Duration Calculus of Weakly Monotonic Time},
  booktitle    = {{FTRTFT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {55--64},
  publisher    = {Springer},
  year         = {1998}
}

@inproceedings{DBLP:conf/icalp/LiC98,
  author       = {Zhoujun Li and
                  Huowang Chen},
  title        = {Checking Strong/Weak Bisimulation Equivalences and Observation Congruence
                  for the pi-Calculus},
  booktitle    = {{ICALP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1443},
  pages        = {707--718},
  publisher    = {Springer},
  year         = {1998}
}

@inproceedings{DBLP:conf/concur/RamakrishnaS97,
  author       = {Y. S. Ramakrishna and
                  Scott A. Smolka},
  title        = {Partial-Order Reduction in the Weak Modal Mu-Calculus},
  booktitle    = {{CONCUR}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1243},
  pages        = {5--24},
  publisher    = {Springer},
  year         = {1997}
}

@inproceedings{DBLP:conf/ftrtft/Pandya96,
  author       = {Paritosh K. Pandya},
  title        = {Weak Chop Inverses and Liveness in Mean-Value Calculus},
  booktitle    = {{FTRTFT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {148--167},
  publisher    = {Springer},
  year         = {1996}
}

@inproceedings{DBLP:conf/concur/FerrariMQ95,
  author       = {Gian{-}Luigi Ferrari and
                  Ugo Montanari and
                  Paola Quaglia},
  title        = {The Weak Late pi-Calculus Semantics as Observation Equivalence},
  booktitle    = {{CONCUR}},
  series       = {Lecture Notes in Computer Science},
  volume       = {962},
  pages        = {57--71},
  publisher    = {Springer},
  year         = {1995}
}

@inproceedings{DBLP:conf/tapsoft/Lin95,
  author       = {Huimin Lin},
  title        = {Complete Inference Systems for Weak Bisimulation Equivalences in the
                  pi-Calculus},
  booktitle    = {{TAPSOFT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {915},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {1995}
}

@article{DBLP:journals/fac/BosangueK94,
  author       = {Marcello M. Bonsangue and
                  Joost N. Kok},
  title        = {The Weakest Precondition Calculus: Recursion and Duality},
  journal      = {Formal Aspects Comput.},
  volume       = {6},
  number       = {6A},
  pages        = {788--800},
  year         = {1994}
}

@inproceedings{DBLP:conf/conpar/BougeGUV94,
  author       = {Luc Boug{\'{e}} and
                  Yann Le Guyadec and
                  Gil Utard and
                  Bernard Virot},
  title        = {On the Expressivity of a Weakest Precondition Calculus for a Simple
                  Data-Parallel Programming Language},
  booktitle    = {{CONPAR}},
  series       = {Lecture Notes in Computer Science},
  volume       = {854},
  pages        = {100--111},
  publisher    = {Springer},
  year         = {1994}
}

@inproceedings{DBLP:conf/ismvl/Epstein94,
  author       = {George Epstein},
  title        = {A Weak Propositional Calculus for Signal Processing with Thresholds},
  booktitle    = {{ISMVL}},
  pages        = {356--361},
  publisher    = {{IEEE} Computer Society},
  year         = {1994}
}

@inproceedings{DBLP:conf/fpca/Yoshida93,
  author       = {Nobuko Yoshida},
  title        = {Optimal Reduction in Weak-{\(\lambda\)}-calculus with Shared Environments},
  booktitle    = {{FPCA}},
  pages        = {243--254},
  publisher    = {{ACM}},
  year         = {1993}
}

@inproceedings{DBLP:conf/rex/BonsangueK92,
  author       = {Marcello M. Bonsangue and
                  Joost N. Kok},
  title        = {Semantics, Orderings and Recursion in the Weakest Precondition Calculus},
  booktitle    = {{REX} Workshop},
  series       = {Lecture Notes in Computer Science},
  volume       = {666},
  pages        = {91--109},
  publisher    = {Springer},
  year         = {1992}
}

@article{DBLP:journals/tcs/Mezghiche91,
  author       = {Mohamed Mezghiche},
  title        = {Weak Completeness of Type Assignment in lambda-Calculus Models: {A}
                  Generalization of Hindley's Result},
  journal      = {Theor. Comput. Sci.},
  volume       = {87},
  number       = {1},
  pages        = {203--208},
  year         = {1991}
}

@inproceedings{DBLP:conf/lambda/BatiniP75,
  author       = {Carlo Batini and
                  Alberto Pettorossi},
  title        = {On subrecursiveness in weak combinatory logic},
  booktitle    = {Lambda-Calculus and Computer Science Theory},
  series       = {Lecture Notes in Computer Science},
  volume       = {37},
  pages        = {297--311},
  publisher    = {Springer},
  year         = {1975}
}

@article{DBLP:journals/ndjfl/Setlur74,
  author       = {Rangaswamy V. Setlur},
  title        = {Erratum: "On the equivalence of strong and weak validity of rule schemes
                  in the two-valued of rule schemes in the two-valued propositional
                  calculus"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {15},
  number       = {4},
  pages        = {648},
  year         = {1974}
}

@article{DBLP:journals/ndjfl/Rickey71,
  author       = {V. Frederick Rickey},
  title        = {On weak and strong validity of rules for the propositional calculus},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {12},
  number       = {1},
  pages        = {115--116},
  year         = {1971}
}

@article{DBLP:journals/ndjfl/Setlur70a,
  author       = {Rangaswamy V. Setlur},
  title        = {On the equivalence of strong and weak validity of rule schemes in
                  the two-valued propositional calculus},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {11},
  number       = {2},
  pages        = {249--253},
  year         = {1970}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.