Skip to content
View lardapide's full-sized avatar
🔓
🔓
18 followers · 70 following

Organizations

@LambdaDelta-Lab

Block or report lardapide

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lardapide/README.md

Welcome

banner

Hello, I'm Lardapide!

I hold a bachelor's degree in Linguistics and am currently pursuing a master's degree in Description, Analysis, and Processing of Natural Languages. My main focus is Semantics, and my research involves developing logical formalizations to capture how meaning works in natural languages.

I use the Agda programming language to implement these formalizations in a proof assistant, which helps me verify their correctness. My projects often involve Lambda Calculus, Type-Logical Grammars, and building resources for NLP.

Feel free to reach out! You can email me at: elisalardapide (at) gmail (dot) com

Projects

  • Semantic System
  • GEOki Jiten

Pinned Loading

  1. geoki-jiten geoki-jiten Public

    Dicionário bilíngue do português brasileiro para o okinawano implementado em um sistema de busca com informações de entonação, verbete e classe gramatical

    JavaScript 4

  2. Montague-Test Montague-Test Public

    Forked from zwanzigerc/Montague-Test

    Formalização de sentenças do Teste de Montague em HoTT implementada em Agda-flat

    Agda 1

  3. semanticSystem semanticSystem Public

    Framework semântico em DTT implementado em Agda

    Agda