Go to:

Content (tecla de atalho: c)
Options (tecla de atalho: o)
Main Menu (tecla de atalho: m)
Iniciar sessão autenticada (tecla de atalho: s)

Logótipo

FMDUP

help

Você está em: Start > Publications > On principal types of BCK-lambda-Terms > View related publications

Instalation Map

Publication

Publication Search

Publications with the same authors as the On principal types of BCK-lambda-Terms publication

Group by: Order:

Article in International Scientific Journal

The decidability of a fragment of BB ' IW-logic

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP); Finger, M (Author) (Other); Silva, PSE (Author) (Other)

2004

Scientific classification Indexing

On principal types of combinators

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)

2000

Scientific classification Indexing

On long normal inhabitants of a type

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)

2005

Scientific classification Indexing

On combinatory complete sets of proper combinators

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)

1997

Counting a type's principal inhabitants - (Extended abstract)

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)

1999

Scientific classification Indexing

Counting a type's (principal) inhabitants

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)

2001

Scientific classification Indexing

Compact bracket abstraction in combinatory logic

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)

1997

Scientific classification Indexing

Article in International Conference Proceedings Book

Studying provability in implicational intuitionistic logic: The formula tree approach

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)

2002

Resolution of Constraints in Algebras of Rational Trees

LuÃs Damas (Author) (FCUP); Nelma Moreira (Author) (FCUP); Sabine Broda (Author) (FCUP)

1993

A New Translation Algorithm from Lambda Calculus into Combinatory Logic

Sabine Broda (Author) (FCUP); LuÃs Damas (Author) (FCUP)

1995

A context-free grammar representation for normal inhabitants of types in TA¿

Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)

2001

Records 1 to 11 from 11

1

Recommend this page Top

Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto I Terms and Conditions I Acessibility I Index A-Z
Page created on: 2025-07-08 at 19:07:51 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book