Marc Bezem: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Type reconstruction in Fω is undecidable

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 835 KB

english, 1993

52

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Recursive types are not conservative over F≤

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 972 KB

english, 1993

53

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || A formalization of the strong normalization proof for System F in LEGO

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 764 KB

english, 1993

54

Syntactic forcing models for coherent logic

Bezem, Marc, Buchholtz, Ulrik, Coquand, Thierry

Journal:

Indagationes Mathematicae

Year:

2018

Language:

english

File:

PDF, 390 KB

english, 2018

55

Improving IntSat by expressing disjunctions of bounds as linear constraints

Asín, Roberto, Bezem, Marc, Nieuwenhuis, Robert

Journal:

AI Communications

Year:

2015

Language:

english

File:

PDF, 93 KB

english, 2015

56

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Extracting constructive content from classical logic via control-like reductions

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 683 KB

english, 1993

57

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Combining first and higher order rewrite systems with type assignment systems

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 958 KB

english, 1993

58

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 (International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings) || A semantics for λ &-early: a calculus with overloading and early binding

Bezem, Marc, Groote, Jan Friso

Year:

1993

Language:

english

File:

PDF, 1.06 MB

english, 1993

59

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 (International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16â18, 1993, Utrech, The Netherlands Proceedings) || Studying the fully abstract model of PCF within its continuous function model

Bezem, Marc, Groote, Jan Friso

Year:

1993

File:

PDF, 818 KB

1993

60

Skolemâs Theorem in Coherent Logic

Bezem, Marc, Coquand, Thierry, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 221 KB

2019