( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Revisiting the notion of function.

, , и . J. Log. Algebraic Methods Program., 54 (1-2): 65-107 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Klaus Rob

Theodor Rob

Rob Cornelissen

Paul Rob

Beatrice Rob

 

Другие публикации лиц с тем же именем

Refining the Barendregt Cube Using Parameters., , и . FLOPS, том 2024 из Lecture Notes in Computer Science, стр. 375-390. Springer, (2001)A Path to Faithful Formalizations of Mathematics., и . MKM, том 3119 из Lecture Notes in Computer Science, стр. 145-159. Springer, (2004)Rewriting for Fitch Style Natural Deductions., и . RTA, том 3091 из Lecture Notes in Computer Science, стр. 134-154. Springer, (2004)Revisiting the notion of function., , и . J. Log. Algebraic Methods Program., 54 (1-2): 65-107 (2003)Parameters in Pure Type Systems., , , и . LATIN, том 2286 из Lecture Notes in Computer Science, стр. 371-385. Springer, (2002)An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus.. CADE, том 87 из Lecture Notes in Computer Science, стр. 182-194. Springer, (1980)Types in logic and mathematics before 1940., , и . Bull. Symb. Log., 8 (2): 185-245 (2002)De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms., , и . PPDP, стр. 16-27. ACM, (2001)