191 Infos zu Henning Basold

13 Aktuelle Nachrichten

22 January 2020, Algebra|Coalgebra Seminar, Henning Basold. Speaker: Henning Basold (Universiteit Leiden). Title: Guarded Recursion for Coinductive and ...

COIN — Coalgebra in the Netherlands is a bimonthly seminar, held alternately in Nijmegen and Amsterdam. The aim of COIN is to bring together coalgebra...

Henning Basold: Towards a Theoretic Foundation of Agda's Data Types; Andreas Abel: Introduction to Agda source code; Ulf Norell: Type ...

... Braunschweig, Germany) Jamie Vicary (University of Oxford, United Kingdom) Publicity chair Henning Basold (CNRS, ENS Lyon, ...

4 Profile in Sozialen Netzwerken

Henning Basold hbasold. Pro. Block or report user. Report or block hbasold. Hide content and notifications from this user. Learn more about blocking users.

Semantic Scholar profile for Henning Basold, with 5 highly influential citations and 19 scientific research papers.

hbasold has 16 repositories available. Follow their code on GitHub.

Dismiss. Create your own GitHub profile. Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside

1 Persönliche Webseiten

My research interest are coalgebras, type theory and general category theoretical logic. But generally, I find all applications of these to any field of computer ...

1 Infos zur Ausbildung

Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, ...

1 Angaben zur Herkunft

Henning Basold. MathSciNet. Ph.D. Radboud Universiteit Nijmegen Netherlands. Dissertation: Mixed Inductive-Coinductive Reasoning: Types, Programs ...

1 Projekte

Am :02, schrieb Mateusz Loskot: > On :08, Henning Basold wrote: >> Hi, >> >> I've attached a patch which enables SOCI to supporte ...

12 Bücher zum Namen

Newton series, coinductively | Henning Basold, Helle Hansen, Jean-Éric Pin, Jan Rutten | download | Z-Library. Download books for free. Find books

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence,...

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS...

This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate...

11 Dokumente

Fibrations. Authors:Henning Basold. (Submitted on 20 Feb 2018). Abstract: The purpose ...

Higher Inductive Types. Niels van der Weide, Henning Basold, Herman Geuvers. June 25, Page 2. Our goal. ▷ A syntax of higher inductive types.

Authors: Henning Basold. Comments: The implementation can be found at this https URL. Subjects: Logic in Computer Science (cs.LO). [347] arXiv:

Transformation von Scade-Modellen zur SMT-basierten Verifikation. Authors: Henning Basold. Publication date (Created): ArXiv ID:

24 Wissenschaftliche Publikationen

The dblp computer science bibliography is the on-line reference for open bibliographic information on computer science journals and proceedings

Henning Basold, Ekaterina Komendantskaya, Yue Li: Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. CoRR abs ( )

List of computer science publications by Henning Basold

· Henning Basold Björn Hendriks; Certificates: Schriftliche Ausarbeitung und erfolgreicher Seminarvortrag. Die Note wird abhängig von der aktiven Teilnahme am Seminar sowie der Qualität des Vortrages und der Ausarbeitung bestimmt. Vortrag: Ihr Vortrag sollte ca. 40 Minuten dauern.

7 Allgemeine Veröffentlichungen

Scadeis an industrial strength synchronous language and tool suite for the development of the software of safety-critical systems. It supports formal...

In this paper, I establish the categorical structure necessary to interpret dependent inductive and coinductive types. It is well-known that dependent type...

De Universiteit Leiden biedt medewerkers een aantrekkelijk arbeidsvoorwaardenpakket waaronder een. De salarissen bij de Universiteit Leiden zijn landelijk...

One of the first publications of Prakash Panangaden is about compositional semantics of digital networks, back in Digital networks transform streams of...

1 Video- & Audioinhalte

Henning Basold Braunschweig. Reiner Basowski Hamburg. Robert Bast Barsinghausen. Karlheinz Bathe Berlin. Henrik Bathe.

113 Webfunde aus dem Netz

‪LIACS - Leiden University‬ - ‪‪115 citacions‬‬ - ‪Logic‬ - ‪Type Theory‬ - ‪Category Theory‬ - ‪Coalgebra‬ - ‪Induction and Coinduction‬

Marcello BonsangueAssociate professor of Computer Science, Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl. Suivre. Henning Basold. CNRS ...

Ekaterina KomendantskayaAssociate Professor in Computer Science, Heriot-Watt University, Scotlandhw.ac.uk의 이메일 확인됨. 팔로우. Henning Basold.

... (FMICS 2011, SCP 2014) Open alternative to SCADE Design Verifier joint work with Henning Basold and Michaela Huhn (FMICS 2014) ...

Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyGeverifieerd e-mailadres voor cs.ioc.ee. Volgen. Henning Basold.

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …Higher Inductive Types. N van der Weide, H Basold, H Geuvers.

Ekaterina KomendantskayaAssociate Professor in Computer Science, Heriot-Watt University, Scotland在 hw.ac.uk 的電子郵件地址已通過驗證. 追蹤. Henning ...

GithubStars profile page for Henning Basold. Henning Basold has 10 years experience. Found 7 skills and 11 repositories. Find rankings, skills, and more for...

‪LIACS - Leiden University‬ - ‪‪인용 횟수 109번‬‬ - ‪Logic‬ - ‪Type Theory‬ - ‪Category Theory‬ - ‪Coalgebra‬ - ‪Induction and Coinduction‬

... Hendriks,; Jörg Endrullis,; Filippo Bonchi,; Prakash Panangaden,; Alexander Kurz,; Jurriaan Rot,; Bartek Klin,; Henning Basold,; Joost Winter,; Alexandra Silva ...

‪Associate Professor at University of Groningen‬ - ‪‪引用: 891 件‬‬ - ‪modal logic‬ - ‪coalgebra‬ - ‪algebra‬ - ‪automata‬ - ‪games‬

Mark-Jan NederhofUniversity of St AndrewsΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα st-andrews.ac.uk. Henning Basold CNRC, ENS LyonΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ens-lyon.fr. aspertiUniversity of BolognaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει ...

... Pinkwart,; Lukas Märtin,; Nguyen-Thinh Le,; Jochen Maaß,; Darren Cofer,; Mark Lawford,; John Hatcliff,; Carsten Rudolph,; Henning Basold,; Maksims Fiosins ...

‪Ostfalia, University of Applied Science, Computer Science Faculty‬ - ‪‪898 citacions‬‬ - ‪Formal Methods‬ - ‪Model Driven Software Engineering‬ -...

Henning Basold ○1 ○7. Profile · Activity. My research interest are coalgebras, type theory and general category theoretical logic. But generally, I find all ...

The Steering Committee currently consists of Andreas Abel, Henning Basold, Marc Bezem, Frédéric Blanqui, Ugo de'Liguoro, Ralph Matthes (chair).

Jan Rutten,; Alexandra Silva,; Marcello Bonsangue,; Dimitri Hendriks,; Jörg Endrullis,; Henning Basold,; Mohammad Reza Mousavi,; Jaco van de Pol,; Bas Luttik ...

‪Ostfalia, University of Applied Science, Computer Science Faculty‬ - ‪‪Cited by 928‬‬ - ‪Formal Methods‬ - ‪Model Driven Software Engineering‬ - ‪Verification‬

Henning Basold. My research interest are coalgebras, type theory and general category theoretical logic. But generally, I find all applications of these to any field ...

Henning Basold: free download. Ebooks library. On-line books store on Z-Library | Z-Library. Download books for free. Find books